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