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