The bear is blue. The bear is cold. The bear is green. The bear is rough. The bear is round. If something is rough and round then it is cold. If the bear is rough and the bear is round then the bear is cold. If the bear is rough then the bear is round. Blue, round things are rough. All green things are blue. All blue things are round. Blue, green things are rough. All green, round things are rough.
The bear is not rough.
@0: The bear is blue.[(triple1 OR ((triple3) -> rule5))] The bear is cold.[(triple2 OR ((triple4 triple5) -> rule1) OR ((triple4 triple5) -> rule2) OR ((triple4 ((triple1) -> rule6)) -> rule1) OR ((triple4 ((triple1) -> rule6)) -> rule2) OR ((triple4 ((triple4) -> rule3)) -> rule1) OR ((triple4 ((triple4) -> rule3)) -> rule2) OR ((((triple1 triple3) -> rule7) triple5) -> rule1) OR ((((triple1 triple3) -> rule7) triple5) -> rule2) OR ((((triple1 triple5) -> rule4) triple5) -> rule1) OR ((((triple1 triple5) -> rule4) triple5) -> rule2) OR ((((triple3 triple5) -> rule8) triple5) -> rule1) OR ((((triple3 triple5) -> rule8) triple5) -> rule2) OR ((((triple1 triple3) -> rule7) ((triple1) -> rule6)) -> rule1) OR ((((triple1 triple3) -> rule7) ((triple1) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule7) ((triple4) -> rule3)) -> rule1) OR ((((triple1 triple3) -> rule7) ((triple4) -> rule3)) -> rule2) OR ((((triple1 triple5) -> rule4) ((triple1) -> rule6)) -> rule1) OR ((((triple1 triple5) -> rule4) ((triple1) -> rule6)) -> rule2) OR ((((triple1 triple5) -> rule4) ((triple4) -> rule3)) -> rule1) OR ((((triple1 triple5) -> rule4) ((triple4) -> rule3)) -> rule2) OR ((((triple3 triple5) -> rule8) ((triple1) -> rule6)) -> rule1) OR ((((triple3 triple5) -> rule8) ((triple1) -> rule6)) -> rule2) OR ((((triple3 triple5) -> rule8) ((triple4) -> rule3)) -> rule1) OR ((((triple3 triple5) -> rule8) ((triple4) -> rule3)) -> rule2) OR ((triple4 ((((triple3) -> rule5)) -> rule6)) -> rule1) OR ((triple4 ((((triple3) -> rule5)) -> rule6)) -> rule2) OR ((triple4 ((((triple1 triple3) -> rule7)) -> rule3)) -> rule1) OR ((triple4 ((((triple1 triple3) -> rule7)) -> rule3)) -> rule2) OR ((((triple1 ((triple1) -> rule6)) -> rule4) triple5) -> rule1) OR ((((triple1 ((triple1) -> rule6)) -> rule4) triple5) -> rule2) OR ((((triple3 ((triple1) -> rule6)) -> rule8) triple5) -> rule1) OR ((((triple3 ((triple1) -> rule6)) -> rule8) triple5) -> rule2) OR ((((((triple3) -> rule5) triple3) -> rule7) triple5) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule7) triple5) -> rule2) OR ((((((triple3) -> rule5) triple5) -> rule4) triple5) -> rule1) OR ((((((triple3) -> rule5) triple5) -> rule4) triple5) -> rule2) OR ((((triple1 triple3) -> rule7) ((((triple3) -> rule5)) -> rule6)) -> rule1) OR ((((triple1 triple3) -> rule7) ((((triple3) -> rule5)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule1) OR ((((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule2) OR ((((triple1 triple5) -> rule4) ((((triple3) -> rule5)) -> rule6)) -> rule1) OR ((((triple1 triple5) -> rule4) ((((triple3) -> rule5)) -> rule6)) -> rule2) OR ((((triple1 triple5) -> rule4) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule1) OR ((((triple1 triple5) -> rule4) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule2) OR ((((triple1 ((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule1) OR ((((triple1 ((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule2) OR ((((triple1 ((triple1) -> rule6)) -> rule4) ((triple4) -> rule3)) -> rule1) OR ((((triple1 ((triple1) -> rule6)) -> rule4) ((triple4) -> rule3)) -> rule2) OR ((((triple3 triple5) -> rule8) ((((triple3) -> rule5)) -> rule6)) -> rule1) OR ((((triple3 triple5) -> rule8) ((((triple3) -> rule5)) -> rule6)) -> rule2) OR ((((triple3 triple5) -> rule8) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule1) OR ((((triple3 triple5) -> rule8) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule2) OR ((((triple3 ((triple1) -> rule6)) -> rule8) ((triple1) -> rule6)) -> rule1) OR ((((triple3 ((triple1) -> rule6)) -> rule8) ((triple1) -> rule6)) -> rule2) OR ((((triple3 ((triple1) -> rule6)) -> rule8) ((triple4) -> rule3)) -> rule1) OR ((((triple3 ((triple1) -> rule6)) -> rule8) ((triple4) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) triple3) -> rule7) ((triple1) -> rule6)) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule7) ((triple1) -> rule6)) -> rule2) OR ((((((triple3) -> rule5) triple3) -> rule7) ((triple4) -> rule3)) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule7) ((triple4) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) triple5) -> rule4) ((triple1) -> rule6)) -> rule1) OR ((((((triple3) -> rule5) triple5) -> rule4) ((triple1) -> rule6)) -> rule2) OR ((((((triple3) -> rule5) triple5) -> rule4) ((triple4) -> rule3)) -> rule1) OR ((((((triple3) -> rule5) triple5) -> rule4) ((triple4) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) ((triple1) -> rule6)) -> rule4) triple5) -> rule1) OR ((((((triple3) -> rule5) ((triple1) -> rule6)) -> rule4) triple5) -> rule2) OR ((((triple1 ((triple1) -> rule6)) -> rule4) ((((triple3) -> rule5)) -> rule6)) -> rule1) OR ((((triple1 ((triple1) -> rule6)) -> rule4) ((((triple3) -> rule5)) -> rule6)) -> rule2) OR ((((triple1 ((triple1) -> rule6)) -> rule4) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule1) OR ((((triple1 ((triple1) -> rule6)) -> rule4) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule2) OR ((((triple3 ((triple1) -> rule6)) -> rule8) ((((triple3) -> rule5)) -> rule6)) -> rule1) OR ((((triple3 ((triple1) -> rule6)) -> rule8) ((((triple3) -> rule5)) -> rule6)) -> rule2) OR ((((triple3 ((triple1) -> rule6)) -> rule8) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule1) OR ((((triple3 ((triple1) -> rule6)) -> rule8) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) triple3) -> rule7) ((((triple3) -> rule5)) -> rule6)) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule7) ((((triple3) -> rule5)) -> rule6)) -> rule2) OR ((((((triple3) -> rule5) triple3) -> rule7) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule7) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) triple5) -> rule4) ((((triple3) -> rule5)) -> rule6)) -> rule1) OR ((((((triple3) -> rule5) triple5) -> rule4) ((((triple3) -> rule5)) -> rule6)) -> rule2) OR ((((((triple3) -> rule5) triple5) -> rule4) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule1) OR ((((((triple3) -> rule5) triple5) -> rule4) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) ((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule1) OR ((((((triple3) -> rule5) ((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule2) OR ((((((triple3) -> rule5) ((triple1) -> rule6)) -> rule4) ((triple4) -> rule3)) -> rule1) OR ((((((triple3) -> rule5) ((triple1) -> rule6)) -> rule4) ((triple4) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) ((triple1) -> rule6)) -> rule4) ((((triple3) -> rule5)) -> rule6)) -> rule1) OR ((((((triple3) -> rule5) ((triple1) -> rule6)) -> rule4) ((((triple3) -> rule5)) -> rule6)) -> rule2) OR ((((((triple3) -> rule5) ((triple1) -> rule6)) -> rule4) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule1) OR ((((((triple3) -> rule5) ((triple1) -> rule6)) -> rule4) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule2) OR ((triple4 ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule1) OR ((triple4 ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule2) OR ((((triple1 ((((triple3) -> rule5)) -> rule6)) -> rule4) triple5) -> rule1) OR ((((triple1 ((((triple3) -> rule5)) -> rule6)) -> rule4) triple5) -> rule2) OR ((((triple3 ((((triple3) -> rule5)) -> rule6)) -> rule8) triple5) -> rule1) OR ((((triple3 ((((triple3) -> rule5)) -> rule6)) -> rule8) triple5) -> rule2) OR ((((triple1 triple3) -> rule7) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule1) OR ((((triple1 triple3) -> rule7) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule2) OR ((((triple1 triple5) -> rule4) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule1) OR ((((triple1 triple5) -> rule4) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule2) OR ((((triple1 ((((triple3) -> rule5)) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule1) OR ((((triple1 ((((triple3) -> rule5)) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule2) OR ((((triple1 ((((triple3) -> rule5)) -> rule6)) -> rule4) ((triple4) -> rule3)) -> rule1) OR ((((triple1 ((((triple3) -> rule5)) -> rule6)) -> rule4) ((triple4) -> rule3)) -> rule2) OR ((((triple3 triple5) -> rule8) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule1) OR ((((triple3 triple5) -> rule8) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule2) OR ((((triple3 ((((triple3) -> rule5)) -> rule6)) -> rule8) ((triple1) -> rule6)) -> rule1) OR ((((triple3 ((((triple3) -> rule5)) -> rule6)) -> rule8) ((triple1) -> rule6)) -> rule2) OR ((((triple3 ((((triple3) -> rule5)) -> rule6)) -> rule8) ((triple4) -> rule3)) -> rule1) OR ((((triple3 ((((triple3) -> rule5)) -> rule6)) -> rule8) ((triple4) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule4) triple5) -> rule1) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule4) triple5) -> rule2) OR ((((triple1 ((triple1) -> rule6)) -> rule4) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule1) OR ((((triple1 ((triple1) -> rule6)) -> rule4) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule2) OR ((((triple1 ((((triple3) -> rule5)) -> rule6)) -> rule4) ((((triple3) -> rule5)) -> rule6)) -> rule1) OR ((((triple1 ((((triple3) -> rule5)) -> rule6)) -> rule4) ((((triple3) -> rule5)) -> rule6)) -> rule2) OR ((((triple1 ((((triple3) -> rule5)) -> rule6)) -> rule4) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule1) OR ((((triple1 ((((triple3) -> rule5)) -> rule6)) -> rule4) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule2) OR ((((triple3 ((triple1) -> rule6)) -> rule8) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule1) OR ((((triple3 ((triple1) -> rule6)) -> rule8) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule2) OR ((((triple3 ((((triple3) -> rule5)) -> rule6)) -> rule8) ((((triple3) -> rule5)) -> rule6)) -> rule1) OR ((((triple3 ((((triple3) -> rule5)) -> rule6)) -> rule8) ((((triple3) -> rule5)) -> rule6)) -> rule2) OR ((((triple3 ((((triple3) -> rule5)) -> rule6)) -> rule8) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule1) OR ((((triple3 ((((triple3) -> rule5)) -> rule6)) -> rule8) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) triple3) -> rule7) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule7) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) triple5) -> rule4) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule1) OR ((((((triple3) -> rule5) triple5) -> rule4) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule1) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule2) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule4) ((triple4) -> rule3)) -> rule1) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule4) ((triple4) -> rule3)) -> rule2) OR ((((triple1 ((((triple3) -> rule5)) -> rule6)) -> rule4) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule1) OR ((((triple1 ((((triple3) -> rule5)) -> rule6)) -> rule4) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule2) OR ((((triple3 ((((triple3) -> rule5)) -> rule6)) -> rule8) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule1) OR ((((triple3 ((((triple3) -> rule5)) -> rule6)) -> rule8) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) ((triple1) -> rule6)) -> rule4) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule1) OR ((((((triple3) -> rule5) ((triple1) -> rule6)) -> rule4) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule4) ((((triple3) -> rule5)) -> rule6)) -> rule1) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule4) ((((triple3) -> rule5)) -> rule6)) -> rule2) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule4) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule1) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule4) ((((triple1 triple3) -> rule7)) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule4) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule1) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule4) ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3)) -> rule2))] The bear is green.[(triple3)] The bear is rough.[(triple4 OR ((triple1 triple3) -> rule7) OR ((triple1 triple5) -> rule4) OR ((triple3 triple5) -> rule8) OR ((triple1 ((triple1) -> rule6)) -> rule4) OR ((triple3 ((triple1) -> rule6)) -> rule8) OR ((((triple3) -> rule5) triple3) -> rule7) OR ((((triple3) -> rule5) triple5) -> rule4) OR ((((triple3) -> rule5) ((triple1) -> rule6)) -> rule4) OR ((triple1 ((((triple3) -> rule5)) -> rule6)) -> rule4) OR ((triple3 ((((triple3) -> rule5)) -> rule6)) -> rule8) OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule4))] The bear is round.[(triple5 OR ((triple1) -> rule6) OR ((triple4) -> rule3) OR ((((triple3) -> rule5)) -> rule6) OR ((((triple1 triple3) -> rule7)) -> rule3) OR ((((((triple3) -> rule5) triple3) -> rule7)) -> rule3))]