The cat is big. The cat is blue. The cat is nice. The cat is red. The cat is round. If the cat is blue and the cat is big then the cat is red. Big things are nice. If the cat is big then the cat is nice. Nice, blue things are big. All big things are blue. If something is blue and not nice then it is round. If something is blue and not nice then it is red. If something is round and not nice then it is red.
The cat chases the cat.
@0: The cat is big.[(triple1 OR ((triple3 triple2) -> rule4))] The cat is blue.[(triple2 OR ((triple1) -> rule5))] The cat is nice.[(triple3 OR ((triple1) -> rule2) OR ((triple1) -> rule3))] The cat is red.[(triple4 OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple3 triple2) -> rule4)) -> rule1) OR ((((triple1) -> rule5) triple1) -> rule1) OR ((((triple1) -> rule5) ((triple3 triple2) -> rule4)) -> rule1))] The cat is round.[(triple5)]