The cat is red. All cold, rough people are not blue. If someone is red then they are blue. All cold people are blue. If the cat is blue and the cat is red then the cat is rough. All blue people are rough. If someone is red then they are big. If someone is red then they are big. All red, rough people are not cold.
The cat is not cold.
@0: The cat is red.[(triple1)] @1: The cat is big.[(((triple1) -> rule6) OR ((triple1) -> rule7))] The cat is blue.[(((triple1) -> rule2))] @2: The cat is rough.[(((((triple1) -> rule2)) -> rule5) OR ((((triple1) -> rule2) triple1) -> rule4))] @3: The cat is not cold.[(((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule8) OR ((triple1 ((((triple1) -> rule2) triple1) -> rule4)) -> rule8))]