The cat is big. The cat is blue. The cat is green. The cat is not kind. The cat is red. Red, blue things are big. All blue things are big. All big things are blue. All blue things are red. If the cat is green and the cat is kind then the cat is big. All green things are not kind.
The cat sees the cat.
@0: The cat is big.[(triple1 OR ((triple2) -> rule2) OR ((triple5 triple2) -> rule1) OR ((((triple2) -> rule4) triple2) -> rule1))] The cat is blue.[(triple2 OR ((triple1) -> rule3))] The cat is green.[(triple3)] The cat is not kind.[(triple4 OR ((triple3) -> rule6))] The cat is red.[(triple5 OR ((triple2) -> rule4) OR ((((triple1) -> rule3)) -> rule4))]