The cat is nice. The cat is red. The cat is young. All round, young people are nice. If someone is young and round then they are big. All young, round people are big. Round, big people are nice. All big people are nice. Round, big people are red. If the cat is nice then the cat is round. If the cat is red and the cat is young then the cat is nice.
The cat is not nice.
@0: The cat is nice.[(triple1 OR ((triple2 triple3) -> rule8))] The cat is red.[(triple2 OR ((((triple1) -> rule7) ((triple3 ((triple1) -> rule7)) -> rule2)) -> rule6) OR ((((triple1) -> rule7) ((triple3 ((triple1) -> rule7)) -> rule3)) -> rule6))] The cat is young.[(triple3)] @1: The cat is round.[(((triple1) -> rule7) OR ((((triple2 triple3) -> rule8)) -> rule7))] @2: The cat is big.[(((triple3 ((triple1) -> rule7)) -> rule2) OR ((triple3 ((triple1) -> rule7)) -> rule3) OR ((triple3 ((((triple2 triple3) -> rule8)) -> rule7)) -> rule2) OR ((triple3 ((((triple2 triple3) -> rule8)) -> rule7)) -> rule3))]