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