The cat is big. The cat is cold. The cat is nice. The cat is rough. The cat is young. Young people are nice. All cold people are nice. Nice people are big. If the cat is nice and the cat is big then the cat is rough. If the cat is cold then the cat is rough. If someone is nice and big then they are cold.
The cat is not cold.
@0: The cat is big.[(triple1 OR ((triple3) -> rule3) OR ((((triple2) -> rule2)) -> rule3) OR ((((triple5) -> rule1)) -> rule3))] The cat is cold.[(triple2 OR ((triple3 triple1) -> rule6) OR ((triple3 ((triple3) -> rule3)) -> rule6) OR ((((triple5) -> rule1) triple1) -> rule6) OR ((((triple5) -> rule1) ((triple3) -> rule3)) -> rule6) OR ((triple3 ((((triple5) -> rule1)) -> rule3)) -> rule6) OR ((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule3)) -> rule6))] The cat is nice.[(triple3 OR ((triple2) -> rule2) OR ((triple5) -> rule1))] The cat is rough.[(triple4 OR ((triple2) -> rule5) OR ((triple3 triple1) -> rule4) OR ((((triple3 triple1) -> rule6)) -> rule5) OR ((triple3 ((triple3) -> rule3)) -> rule4) OR ((((triple2) -> rule2) triple1) -> rule4) OR ((((triple5) -> rule1) triple1) -> rule4) OR ((((triple2) -> rule2) ((triple3) -> rule3)) -> rule4) OR ((((triple5) -> rule1) ((triple3) -> rule3)) -> rule4) OR ((((triple3 ((triple3) -> rule3)) -> rule6)) -> rule5) OR ((((((triple5) -> rule1) triple1) -> rule6)) -> rule5) OR ((triple3 ((((triple2) -> rule2)) -> rule3)) -> rule4) OR ((triple3 ((((triple5) -> rule1)) -> rule3)) -> rule4) OR ((((((triple5) -> rule1) ((triple3) -> rule3)) -> rule6)) -> rule5) OR ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule4) OR ((((triple2) -> rule2) ((((triple5) -> rule1)) -> rule3)) -> rule4) OR ((((triple5) -> rule1) ((((triple2) -> rule2)) -> rule3)) -> rule4) OR ((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule3)) -> rule4) OR ((((triple3 ((((triple5) -> rule1)) -> rule3)) -> rule6)) -> rule5) OR ((((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule3)) -> rule6)) -> rule5))] The cat is young.[(triple5)]