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