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