The cow chases the tiger. The cow is kind. The cow is nice. The cow is round. The cow is young. The cow needs the tiger. The cow sees the tiger. The tiger chases the cow. The tiger is blue. The tiger is kind. The tiger is nice. The tiger is round. The tiger is young. The tiger needs the cow. The tiger sees the cow. If something is round and it chases the tiger then it is young. If something is round then it needs the cow. If something is young then it sees the tiger. If something chases the cow and the cow sees the tiger then it sees the cow. If something chases the tiger then it needs the tiger. If something needs the tiger then it chases the tiger. If something is round and it needs the cow then it chases the cow. If something chases the cow then it sees the cow.
The tiger is not nice.
@0: The cow chases the tiger.[(triple1 OR ((triple6) -> rule6))] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5 OR ((triple4 triple1) -> rule1) OR ((triple4 ((triple6) -> rule6)) -> rule1))] The cow needs the tiger.[(triple6 OR ((triple1) -> rule5))] The cow sees the tiger.[(triple7 OR ((triple5) -> rule3) OR ((((triple4 triple1) -> rule1)) -> rule3) OR ((((triple4 ((triple6) -> rule6)) -> rule1)) -> rule3))] The tiger chases the cow.[(triple8 OR ((triple12 triple14) -> rule7) OR ((triple12 ((triple12) -> rule2)) -> rule7))] The tiger is blue.[(triple9)] The tiger is kind.[(triple10)] The tiger is nice.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger needs the cow.[(triple14 OR ((triple12) -> rule2))] The tiger sees the cow.[(triple15 OR ((triple8) -> rule8) OR ((triple8 triple7) -> rule4) OR ((((triple12 triple14) -> rule7)) -> rule8) OR ((triple8 ((triple5) -> rule3)) -> rule4) OR ((((triple12 triple14) -> rule7) triple7) -> rule4) OR ((((triple12 triple14) -> rule7) ((triple5) -> rule3)) -> rule4) OR ((((triple12 ((triple12) -> rule2)) -> rule7)) -> rule8) OR ((triple8 ((((triple4 triple1) -> rule1)) -> rule3)) -> rule4) OR ((((triple12 ((triple12) -> rule2)) -> rule7) triple7) -> rule4) OR ((((triple12 triple14) -> rule7) ((((triple4 triple1) -> rule1)) -> rule3)) -> rule4) OR ((((triple12 ((triple12) -> rule2)) -> rule7) ((triple5) -> rule3)) -> rule4) OR ((((triple12 ((triple12) -> rule2)) -> rule7) ((((triple4 triple1) -> rule1)) -> rule3)) -> rule4) OR ((triple8 ((((triple4 ((triple6) -> rule6)) -> rule1)) -> rule3)) -> rule4) OR ((((triple12 triple14) -> rule7) ((((triple4 ((triple6) -> rule6)) -> rule1)) -> rule3)) -> rule4) OR ((((triple12 ((triple12) -> rule2)) -> rule7) ((((triple4 ((triple6) -> rule6)) -> rule1)) -> rule3)) -> rule4))] @1: The cow needs the cow.[(((triple4) -> rule2))] The tiger sees the tiger.[(((triple13) -> rule3))] @2: The cow chases the cow.[(((triple4 ((triple4) -> rule2)) -> rule7))] @3: The cow sees the cow.[(((((triple4 ((triple4) -> rule2)) -> rule7)) -> rule8) OR ((((triple4 ((triple4) -> rule2)) -> rule7) triple7) -> rule4) OR ((((triple4 ((triple4) -> rule2)) -> rule7) ((triple5) -> rule3)) -> rule4) OR ((((triple4 ((triple4) -> rule2)) -> rule7) ((((triple4 triple1) -> rule1)) -> rule3)) -> rule4) OR ((((triple4 ((triple4) -> rule2)) -> rule7) ((((triple4 ((triple6) -> rule6)) -> rule1)) -> rule3)) -> rule4))]