The cat is big. The cat is green. The cat is red. The cat is rough. The cat is round. If the cat is not red then the cat is rough. Red, round people are green. All red people are green. If someone is rough and big then they are green. If someone is red and rough then they are green. If someone is green and red then they are rough. All red, big people are rough. If someone is rough and not round then they are big.
The cat is rough.
@0: The cat is big.[(triple1)] The cat is green.[(triple2 OR ((triple3) -> rule3) OR ((triple3 triple4) -> rule5) OR ((triple3 triple5) -> rule2) OR ((triple4 triple1) -> rule4) OR ((triple3 ((triple3 triple1) -> rule7)) -> rule5) OR ((((triple3 triple1) -> rule7) triple1) -> rule4))] The cat is red.[(triple3)] The cat is rough.[(triple4 OR ((triple2 triple3) -> rule6) OR ((triple3 triple1) -> rule7) OR ((((triple3) -> rule3) triple3) -> rule6) OR ((((triple3 triple5) -> rule2) triple3) -> rule6))] The cat is round.[(triple5)]