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