The cat is blue. The cat is kind. The cat is nice. The cat is round. The cat is young. If someone is round then they are blue. Round people are young. If someone is round and nice then they are kind. All young people are blue. If the cat is round then the cat is nice. If someone is nice then they are blue.
The cat does not like the cat.
@0: The cat is blue.[(triple1 OR ((triple3) -> rule6) OR ((triple4) -> rule1) OR ((triple5) -> rule4) OR ((((triple4) -> rule2)) -> rule4) OR ((((triple4) -> rule5)) -> rule6))] The cat is kind.[(triple2 OR ((triple4 triple3) -> rule3) OR ((triple4 ((triple4) -> rule5)) -> rule3))] The cat is nice.[(triple3 OR ((triple4) -> rule5))] The cat is round.[(triple4)] The cat is young.[(triple5 OR ((triple4) -> rule2))]