The cat is red. The cat is rough. The cat is round. Young things are rough. If something is round then it is green. If something is rough and red then it is young. All young, rough things are red. All round, red things are rough. All young things are green. Red things are rough. All red things are young.
The cat visits the cat.
@0: The cat is red.[(triple1)] The cat is rough.[(triple2 OR ((triple1) -> rule7) OR ((triple3 triple1) -> rule5) OR ((((triple1) -> rule8)) -> rule1))] The cat is round.[(triple3)] @1: The cat is green.[(((triple3) -> rule2) OR ((((triple1) -> rule8)) -> rule6) OR ((((triple2 triple1) -> rule3)) -> rule6) OR ((((((triple1) -> rule7) triple1) -> rule3)) -> rule6) OR ((((((triple3 triple1) -> rule5) triple1) -> rule3)) -> rule6))] The cat is young.[(((triple1) -> rule8) OR ((triple2 triple1) -> rule3) OR ((((triple1) -> rule7) triple1) -> rule3) OR ((((triple3 triple1) -> rule5) triple1) -> rule3))]