The bear is big. The bear is cold. The bear is green. The bear is rough. The bear is round. If someone is round and not big then they are green. Green people are cold. If someone is cold and rough then they are round. If the bear is round and the bear is big then the bear is rough. If someone is big then they are rough. Cold people are rough. All green people are rough. All green people are rough.
The bear is not rough.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2 OR ((triple3) -> rule2))] The bear is green.[(triple3)] The bear is rough.[(triple4 OR ((triple1) -> rule5) OR ((triple2) -> rule6) OR ((triple3) -> rule7) OR ((triple3) -> rule8) OR ((triple5 triple1) -> rule4) OR ((((triple3) -> rule2)) -> rule6))] The bear is round.[(triple5 OR ((triple2 triple4) -> rule3) OR ((triple2 ((triple1) -> rule5)) -> rule3) OR ((triple2 ((triple2) -> rule6)) -> rule3) OR ((triple2 ((triple3) -> rule7)) -> rule3) OR ((triple2 ((triple3) -> rule8)) -> rule3) OR ((((triple3) -> rule2) triple4) -> rule3) OR ((((triple3) -> rule2) ((triple1) -> rule5)) -> rule3) OR ((((triple3) -> rule2) ((triple2) -> rule6)) -> rule3) OR ((((triple3) -> rule2) ((triple3) -> rule7)) -> rule3) OR ((((triple3) -> rule2) ((triple3) -> rule8)) -> rule3) OR ((triple2 ((((triple3) -> rule2)) -> rule6)) -> rule3) OR ((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule6)) -> rule3))]