The cat is cold. The cat is green. The cat is kind. The cat is red. The cat is round. All round people are cold. All red, green people are kind.
The cat does not eat the cat.
@0: The cat is cold.[(triple1 OR ((triple5) -> rule1))] The cat is green.[(triple2)] The cat is kind.[(triple3 OR ((triple4 triple2) -> rule2))] The cat is red.[(triple4)] The cat is round.[(triple5)]