The cat is blue. The cat is green. The cat is not red. The cat is rough. The cat is round. If something is round then it is blue. If something is red then it is blue. Round things are blue. If something is rough and red then it is round. Green, rough things are round. If the cat is green and the cat is blue then the cat is rough.
The cat does not see the cat.
@0: The cat is blue.[(triple1 OR ((triple5) -> rule1) OR ((triple5) -> rule3) OR ((((triple2 triple4) -> rule5)) -> rule1) OR ((((triple2 triple4) -> rule5)) -> rule3))] The cat is green.[(triple2)] The cat is not red.[(triple3)] The cat is rough.[(triple4 OR ((triple2 triple1) -> rule6) OR ((triple2 ((triple5) -> rule1)) -> rule6) OR ((triple2 ((triple5) -> rule3)) -> rule6))] The cat is round.[(triple5 OR ((triple2 triple4) -> rule5) OR ((triple2 ((triple2 triple1) -> rule6)) -> rule5))]