The cat is blue. The cat is nice. The cat is red. Nice, kind things are rough. If something is kind then it is nice. Rough, blue things are kind. If the cat is blue then the cat is kind. Nice, kind things are red. If the cat is blue and the cat is nice then the cat is kind.
The cat is nice.
@0: The cat is blue.[(triple1)] The cat is nice.[(triple2 OR ((((triple1) -> rule4)) -> rule2))] The cat is red.[(triple3 OR ((triple2 ((triple1) -> rule4)) -> rule5) OR ((triple2 ((triple1 triple2) -> rule6)) -> rule5) OR ((((((triple1) -> rule4)) -> rule2) ((triple1) -> rule4)) -> rule5) OR ((((((triple1) -> rule4)) -> rule2) ((triple1 triple2) -> rule6)) -> rule5))] @1: The cat is kind.[(((triple1) -> rule4) OR ((triple1 triple2) -> rule6))] @2: The cat is rough.[(((triple2 ((triple1) -> rule4)) -> rule1) OR ((triple2 ((triple1 triple2) -> rule6)) -> rule1) OR ((((((triple1) -> rule4)) -> rule2) ((triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule4)) -> rule2) ((triple1 triple2) -> rule6)) -> rule1))]