The cat is blue. The cat is kind. The cat is red. The cat is rough. The cat is young. If the cat is young then the cat is red. Rough things are red. If the cat is blue then the cat is rough. All young things are kind. If the cat is blue then the cat is young. If something is red and young then it is rough.
The cat sees the cat.
@0: The cat is blue.[(triple1)] The cat is kind.[(triple2 OR ((triple5) -> rule4) OR ((((triple1) -> rule5)) -> rule4))] The cat is red.[(triple3 OR ((triple4) -> rule2) OR ((triple5) -> rule1) OR ((((triple1) -> rule3)) -> rule2) OR ((((triple1) -> rule5)) -> rule1))] The cat is rough.[(triple4 OR ((triple1) -> rule3) OR ((triple3 triple5) -> rule6) OR ((triple3 ((triple1) -> rule5)) -> rule6) OR ((((triple5) -> rule1) triple5) -> rule6) OR ((((triple5) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) triple5) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((triple1) -> rule5)) -> rule6))] The cat is young.[(triple5 OR ((triple1) -> rule5))]