The cat is cold. The cat is green. The cat is red. The cat is rough. The cat is round. All green people are round. If the cat is rough then the cat is red.
The cat is red.
@0: The cat is cold.[(triple1)] The cat is green.[(triple2)] The cat is red.[(triple3 OR ((triple4) -> rule2))] The cat is rough.[(triple4)] The cat is round.[(triple5 OR ((triple2) -> rule1))]