The cat is big. The cat is blue. The cat is cold. The cat is nice. The cat is rough. All cold, blue things are nice. Cold things are nice. If the cat is rough and the cat is big then the cat is nice. All rough things are cold. All rough, nice things are blue. If something is cold then it is nice.
The cat is not rough.
@0: The cat is big.[(triple1)] The cat is blue.[(triple2 OR ((triple5 triple4) -> rule5) OR ((triple5 ((triple3) -> rule2)) -> rule5) OR ((triple5 ((triple3) -> rule6)) -> rule5) OR ((triple5 ((triple5 triple1) -> rule3)) -> rule5) OR ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((((triple5) -> rule4)) -> rule6)) -> rule5))] The cat is cold.[(triple3 OR ((triple5) -> rule4))] The cat is nice.[(triple4 OR ((triple3) -> rule2) OR ((triple3) -> rule6) OR ((triple3 triple2) -> rule1) OR ((triple5 triple1) -> rule3) OR ((((triple5) -> rule4)) -> rule2) OR ((((triple5) -> rule4)) -> rule6) OR ((((triple5) -> rule4) triple2) -> rule1))] The cat is rough.[(triple5)]