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