The cat is big. The cat is kind. The cat is nice. The cat is red. The cat is round. If something is nice then it is big. Big, round things are red.
The cat is red.
@0: The cat is big.[(triple1 OR ((triple3) -> rule1))] The cat is kind.[(triple2)] The cat is nice.[(triple3)] The cat is red.[(triple4 OR ((triple1 triple5) -> rule2) OR ((((triple3) -> rule1) triple5) -> rule2))] The cat is round.[(triple5)]