The cat is nice. Red, nice people are blue. If the cat is kind then the cat is blue. All nice people are big. If someone is kind and blue then they are red. If the cat is nice and the cat is kind then the cat is red. All big people are kind. All red people are nice. If the cat is big then the cat is red.
The cat needs the cat.
@0: The cat is nice.[(triple1)] @1: The cat is big.[(((triple1) -> rule3))] @2: The cat is kind.[(((((triple1) -> rule3)) -> rule6))] The cat is red.[(((((triple1) -> rule3)) -> rule8) OR ((triple1 ((((triple1) -> rule3)) -> rule6)) -> rule5) OR ((((((triple1) -> rule3)) -> rule6) ((((((triple1) -> rule3)) -> rule6)) -> rule2)) -> rule4))] @3: The cat is blue.[(((((((triple1) -> rule3)) -> rule6)) -> rule2) OR ((((((triple1) -> rule3)) -> rule8) triple1) -> rule1) OR ((((triple1 ((((triple1) -> rule3)) -> rule6)) -> rule5) triple1) -> rule1))]