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