The cat is big. The cat is blue. The cat is nice. The cat is rough. The cat is round. Nice, big things are rough. If the cat is round and the cat is nice then the cat is big.
The cat is not rough.
@0: The cat is big.[(triple1 OR ((triple5 triple3) -> rule2))] The cat is blue.[(triple2)] The cat is nice.[(triple3)] The cat is rough.[(triple4 OR ((triple3 triple1) -> rule1) OR ((triple3 ((triple5 triple3) -> rule2)) -> rule1))] The cat is round.[(triple5)]