The cat is blue. The cat is rough. The cat is young. Red, rough people are young. If the cat is kind then the cat is rough. All kind people are blue. If someone is blue then they are rough. If the cat is rough and the cat is kind then the cat is red. Red, kind people are young. If someone is blue and young then they are kind. Rough people are young.
The cat is not kind.
@0: The cat is blue.[(triple1)] The cat is rough.[(triple2 OR ((triple1) -> rule4) OR ((((triple1 triple3) -> rule7)) -> rule2))] The cat is young.[(triple3 OR ((triple2) -> rule8) OR ((((triple1) -> rule4)) -> rule8))] @1: The cat is kind.[(((triple1 triple3) -> rule7) OR ((triple1 ((triple2) -> rule8)) -> rule7) OR ((triple1 ((((triple1) -> rule4)) -> rule8)) -> rule7))] @2: The cat is red.[(((triple2 ((triple1 triple3) -> rule7)) -> rule5) OR ((((triple1) -> rule4) ((triple1 triple3) -> rule7)) -> rule5) OR ((triple2 ((triple1 ((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((triple1) -> rule4) ((triple1 ((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((((triple1 triple3) -> rule7)) -> rule2) ((triple1 triple3) -> rule7)) -> rule5) OR ((((((triple1 triple3) -> rule7)) -> rule2) ((triple1 ((triple2) -> rule8)) -> rule7)) -> rule5) OR ((triple2 ((triple1 ((((triple1) -> rule4)) -> rule8)) -> rule7)) -> rule5) OR ((((triple1) -> rule4) ((triple1 ((((triple1) -> rule4)) -> rule8)) -> rule7)) -> rule5) OR ((((((triple1 triple3) -> rule7)) -> rule2) ((triple1 ((((triple1) -> rule4)) -> rule8)) -> rule7)) -> rule5))]