The cat is big. The cat is blue. The cat is red. The cat is round. The cat is young. The cat likes the cow. The cat needs the cow. The cat sees the cow. The cow is big. The cow is blue. The cow is round. The cow needs the cat. If something needs the cow and it is round then it sees the cow. If something needs the cat then it needs the cow. If something is blue then it needs the cow. All young things are blue. If something needs the cow and the cow likes the cat then the cow sees the cat. If the cat sees the cow then the cat is big. If the cat needs the cow and the cow sees the cat then the cow likes the cat. If something sees the cow then it is young.
The cow is not young.
@0: The cat is big.[(triple1 OR ((triple8) -> rule6) OR ((((triple7 triple4) -> rule1)) -> rule6) OR ((((((triple2) -> rule3) triple4) -> rule1)) -> rule6) OR ((((((((triple5) -> rule4)) -> rule3) triple4) -> rule1)) -> rule6))] The cat is blue.[(triple2 OR ((triple5) -> rule4) OR ((((triple8) -> rule8)) -> rule4) OR ((((((triple7 triple4) -> rule1)) -> rule8)) -> rule4))] The cat is red.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5 OR ((triple8) -> rule8) OR ((((triple7 triple4) -> rule1)) -> rule8) OR ((((((triple2) -> rule3) triple4) -> rule1)) -> rule8))] The cat likes the cow.[(triple6)] The cat needs the cow.[(triple7 OR ((triple2) -> rule3) OR ((((triple5) -> rule4)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4)) -> rule3))] The cat sees the cow.[(triple8 OR ((triple7 triple4) -> rule1) OR ((((triple2) -> rule3) triple4) -> rule1) OR ((((((triple5) -> rule4)) -> rule3) triple4) -> rule1))] The cow is big.[(triple9)] The cow is blue.[(triple10 OR ((((((((triple12) -> rule2) triple11) -> rule1)) -> rule8)) -> rule4))] The cow is round.[(triple11)] The cow needs the cat.[(triple12)] @1: The cow needs the cow.[(((triple10) -> rule3) OR ((triple12) -> rule2))] @2: The cow sees the cow.[(((((triple10) -> rule3) triple11) -> rule1) OR ((((triple12) -> rule2) triple11) -> rule1))] @3: The cow is young.[(((((((triple10) -> rule3) triple11) -> rule1)) -> rule8) OR ((((((triple12) -> rule2) triple11) -> rule1)) -> rule8))]