The bear is blue. The bear is green. The bear is nice. The bear is round. The bear is young. If the bear is blue then the bear is round. All young, round things are green. Green things are blue. All blue, green things are young. All round, nice things are blue. If something is round and blue then it is young.
The bear does not like the bear.
@0: The bear is blue.[(triple1 OR ((triple2) -> rule3) OR ((triple4 triple3) -> rule5) OR ((((triple5 triple4) -> rule2)) -> rule3))] The bear is green.[(triple2 OR ((triple5 triple4) -> rule2) OR ((triple5 ((triple1) -> rule1)) -> rule2) OR ((((triple4 triple1) -> rule6) triple4) -> rule2) OR ((((triple4 triple1) -> rule6) ((triple1) -> rule1)) -> rule2) OR ((((triple4 ((triple4 triple3) -> rule5)) -> rule6) triple4) -> rule2) OR ((((((triple1) -> rule1) triple1) -> rule6) triple4) -> rule2) OR ((((triple4 ((triple4 triple3) -> rule5)) -> rule6) ((triple1) -> rule1)) -> rule2) OR ((((((triple1) -> rule1) triple1) -> rule6) ((triple1) -> rule1)) -> rule2) OR ((((((triple1) -> rule1) ((triple4 triple3) -> rule5)) -> rule6) triple4) -> rule2) OR ((((((triple1) -> rule1) ((triple4 triple3) -> rule5)) -> rule6) ((triple1) -> rule1)) -> rule2))] The bear is nice.[(triple3)] The bear is round.[(triple4 OR ((triple1) -> rule1) OR ((((triple2) -> rule3)) -> rule1))] The bear is young.[(triple5 OR ((triple1 triple2) -> rule4) OR ((triple4 triple1) -> rule6) OR ((triple4 ((triple2) -> rule3)) -> rule6) OR ((triple4 ((triple4 triple3) -> rule5)) -> rule6) OR ((((triple1) -> rule1) triple1) -> rule6) OR ((((triple2) -> rule3) triple2) -> rule4) OR ((((triple4 triple3) -> rule5) triple2) -> rule4) OR ((((triple1) -> rule1) ((triple2) -> rule3)) -> rule6) OR ((((triple1) -> rule1) ((triple4 triple3) -> rule5)) -> rule6) OR ((((((triple2) -> rule3)) -> rule1) triple1) -> rule6) OR ((((((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule6) OR ((((((triple2) -> rule3)) -> rule1) ((triple4 triple3) -> rule5)) -> rule6))]