The cat is cold. The cat is nice. The cat is young. The cat needs the cow. The cow eats the cat. The cow eats the lion. The cow is kind. The cow is nice. The cow is young. The cow needs the cat. The cow needs the lion. The cow sees the lion. The lion eats the cat. The lion is kind. The lion is young. The lion sees the cat. If someone needs the cat and they are kind then they are round. If the lion needs the cat and the lion needs the cow then the lion sees the cat. If someone sees the cow then the cow sees the cat. If someone needs the cow and the cow is cold then they are young. If the cat sees the lion and the lion is round then the cat eats the cow. If someone needs the cat then they are cold. If someone sees the cat then they see the cow. If the lion sees the cow then the cow sees the cat.
The lion is not round.
@0: The cat is cold.[(triple1)] The cat is nice.[(triple2)] The cat is young.[(triple3 OR ((triple4 ((triple10) -> rule6)) -> rule4))] The cat needs the cow.[(triple4)] The cow eats the cat.[(triple5)] The cow eats the lion.[(triple6)] The cow is kind.[(triple7)] The cow is nice.[(triple8)] The cow is young.[(triple9)] The cow needs the cat.[(triple10)] The cow needs the lion.[(triple11)] The cow sees the lion.[(triple12)] The lion eats the cat.[(triple13)] The lion is kind.[(triple14)] The lion is young.[(triple15)] The lion sees the cat.[(triple16)] @1: The cow is cold.[(((triple10) -> rule6))] The cow is round.[(((triple10 triple7) -> rule1))] The lion sees the cow.[(((triple16) -> rule7))] @2: The cow sees the cat.[(((((triple16) -> rule7)) -> rule3) OR ((((triple16) -> rule7)) -> rule8))] @3: The cow sees the cow.[(((((((triple16) -> rule7)) -> rule3)) -> rule7) OR ((((((triple16) -> rule7)) -> rule8)) -> rule7))]