The cat is blue. The cat is cold. The cat is not green. The cat is kind. The cat is round. Round, kind things are blue. Kind, round things are blue. If something is blue then it is not green.
The cat does not see the cat.
@0: The cat is blue.[(triple1 OR ((triple4 triple5) -> rule2) OR ((triple5 triple4) -> rule1))] The cat is cold.[(triple2)] The cat is kind.[(triple4)] The cat is not green.[(triple3 OR ((triple1) -> rule3) OR ((((triple4 triple5) -> rule2)) -> rule3) OR ((((triple5 triple4) -> rule1)) -> rule3))] The cat is round.[(triple5)]