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