The cat is blue. The cat is kind. The cat is nice. The cat is red. The cat is round. All blue things are red. If the cat is round then the cat is blue.
The cat chases the cat.
@0: The cat is blue.[(triple1 OR ((triple5) -> rule2))] The cat is kind.[(triple2)] The cat is nice.[(triple3)] The cat is red.[(triple4 OR ((triple1) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] The cat is round.[(triple5)]