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