The cat is cold. The cat is kind. The cat is nice. The cat is round. The cat is young. Kind things are nice. If something is round then it is kind. All young, cold things are nice. Nice things are cold. All nice things are kind. If the cat is round then the cat is kind. Young, nice things are kind. If something is round and nice then it is cold.
The cat sees the cat.
@0: The cat is cold.[(triple1 OR ((triple3) -> rule4) OR ((triple4 triple3) -> rule8) OR ((((triple2) -> rule1)) -> rule4) OR ((triple4 ((triple2) -> rule1)) -> rule8) OR ((((((triple4) -> rule2)) -> rule1)) -> rule4) OR ((((((triple4) -> rule6)) -> rule1)) -> rule4) OR ((triple4 ((((triple4) -> rule2)) -> rule1)) -> rule8) OR ((triple4 ((((triple4) -> rule6)) -> rule1)) -> rule8))] The cat is kind.[(triple2 OR ((triple3) -> rule5) OR ((triple4) -> rule2) OR ((triple4) -> rule6) OR ((triple5 triple3) -> rule7) OR ((((triple5 triple1) -> rule3)) -> rule5) OR ((triple5 ((triple5 triple1) -> rule3)) -> rule7))] The cat is nice.[(triple3 OR ((triple2) -> rule1) OR ((triple5 triple1) -> rule3) OR ((((triple4) -> rule2)) -> rule1) OR ((((triple4) -> rule6)) -> rule1))] The cat is round.[(triple4)] The cat is young.[(triple5)]