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