The cat is not round. The cow is blue. The cow is kind. The cow likes the cat. The cow sees the rabbit. The rabbit chases the cow. The rabbit is nice. The tiger does not chase the cow. The tiger does not like the rabbit. The tiger sees the rabbit. If something chases the cow then the cow chases the cat. If something chases the rabbit then it is not big. If something likes the cow then the cow is nice. If something is kind then it sees the rabbit. If something chases the cat then the cat likes the cow. If the rabbit chases the tiger then the rabbit does not see the cow. If something is nice and it sees the rabbit then it chases the rabbit. If something is big then it is round.
The tiger does not chase the rabbit.
@0: The cat is not round.[(triple1)] The cow is blue.[(triple2)] The cow is kind.[(triple3)] The cow likes the cat.[(triple4)] The cow sees the rabbit.[(triple5 OR ((triple3) -> rule4))] The rabbit chases the cow.[(triple6)] The rabbit is nice.[(triple7)] The tiger does not chase the cow.[(triple8)] The tiger does not like the rabbit.[(triple9)] The tiger sees the rabbit.[(triple10)] @1: The cow chases the cat.[(((triple6) -> rule1))] @2: The cat likes the cow.[(((((triple6) -> rule1)) -> rule5))] @3: The cow is nice.[(((((((triple6) -> rule1)) -> rule5)) -> rule3))] @4: The cow chases the rabbit.[(((((((((triple6) -> rule1)) -> rule5)) -> rule3) triple5) -> rule7) OR ((((((((triple6) -> rule1)) -> rule5)) -> rule3) ((triple3) -> rule4)) -> rule7))] @5: The cow is not big.[(((((((((((triple6) -> rule1)) -> rule5)) -> rule3) triple5) -> rule7)) -> rule2) OR ((((((((((triple6) -> rule1)) -> rule5)) -> rule3) ((triple3) -> rule4)) -> rule7)) -> rule2))]