The cat is blue. The cat is kind. The cat is red. The cat is round. The cat is young. All blue, round things are red. If something is young and round then it is red. If the cat is kind then the cat is red. All blue, red things are kind. Round, young things are kind. Blue, round things are red.
The cat does not eat the cat.
@0: The cat is blue.[(triple1)] The cat is kind.[(triple2 OR ((triple1 triple3) -> rule4) OR ((triple4 triple5) -> rule5) OR ((triple1 ((triple1 triple4) -> rule1)) -> rule4) OR ((triple1 ((triple1 triple4) -> rule6)) -> rule4) OR ((triple1 ((triple5 triple4) -> rule2)) -> rule4))] The cat is red.[(triple3 OR ((triple2) -> rule3) OR ((triple1 triple4) -> rule1) OR ((triple1 triple4) -> rule6) OR ((triple5 triple4) -> rule2) OR ((((triple4 triple5) -> rule5)) -> rule3))] The cat is round.[(triple4)] The cat is young.[(triple5)]