The cat is big. The cat is cold. The cat is not kind. The cat is nice. The cat is red. If something is red then it is big. If something is cold then it is big. If something is kind then it is big. If something is kind then it is red. Kind things are nice. Red things are cold. If the cat is cold then the cat is big. If the cat is nice and the cat is big then the cat is red.
The cat likes the cat.
@0: The cat is big.[(triple1 OR ((triple2) -> rule2) OR ((triple2) -> rule7) OR ((triple5) -> rule1) OR ((((triple5) -> rule6)) -> rule2) OR ((((triple5) -> rule6)) -> rule7))] The cat is cold.[(triple2 OR ((triple5) -> rule6) OR ((((triple4 triple1) -> rule8)) -> rule6))] The cat is nice.[(triple4)] The cat is not kind.[(triple3)] The cat is red.[(triple5 OR ((triple4 triple1) -> rule8) OR ((triple4 ((triple2) -> rule2)) -> rule8) OR ((triple4 ((triple2) -> rule7)) -> rule8))]