The cat is big. The cat is cold. The cat is nice. The cat is red. The cat is young. All young, nice people are cold. Young, cold people are red. If the cat is cold then the cat is red.
The cat is nice.
@0: The cat is big.[(triple1)] The cat is cold.[(triple2 OR ((triple5 triple3) -> rule1))] The cat is nice.[(triple3)] The cat is red.[(triple4 OR ((triple2) -> rule3) OR ((triple5 triple2) -> rule2) OR ((((triple5 triple3) -> rule1)) -> rule3) OR ((triple5 ((triple5 triple3) -> rule1)) -> rule2))] The cat is young.[(triple5)]