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