The cat is cold. The cat is red. The cat is round. If someone is cold then they are green. If the cat is rough and the cat is green then the cat is red. Green people are rough. All green, rough people are cold. If the cat is red and the cat is rough then the cat is cold. All rough people are round.
The cat does not see the cat.
@0: The cat is cold.[(triple1)] The cat is red.[(triple2 OR ((((((triple1) -> rule1)) -> rule3) ((triple1) -> rule1)) -> rule2))] The cat is round.[(triple3 OR ((((((triple1) -> rule1)) -> rule3)) -> rule6))] @1: The cat is green.[(((triple1) -> rule1))] @2: The cat is rough.[(((((triple1) -> rule1)) -> rule3))]