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