The cat is big. The cat is green. The cat is nice. The cat is not round. The cat is young. If the cat is not nice then the cat is green. All young people are big. If someone is nice and not big then they are green.
The cat eats the cat.
@0: The cat is big.[(triple1 OR ((triple5) -> rule2))] The cat is green.[(triple2)] The cat is nice.[(triple3)] The cat is not round.[(triple4)] The cat is young.[(triple5)]