The cat is blue. The cat is cold. The cat is nice. The cat is red. The cat is round. If the cat is cold and the cat is nice then the cat is red. If the cat is red and the cat is cold then the cat is blue. If someone is cold then they are round.
The cat is cold.
@0: The cat is blue.[(triple1 OR ((triple4 triple2) -> rule2) OR ((((triple2 triple3) -> rule1) triple2) -> rule2))] The cat is cold.[(triple2)] The cat is nice.[(triple3)] The cat is red.[(triple4 OR ((triple2 triple3) -> rule1))] The cat is round.[(triple5 OR ((triple2) -> rule3))]