The bald eagle is kind. The cat chases the bald eagle. The cat is young. The cat needs the bald eagle. The cat needs the cow. The cow chases the rabbit. The cow is red. The cow is rough. The cow likes the bald eagle. The rabbit is rough. The rabbit needs the cat. If something is red and it likes the cat then it is blue. If something needs the cat then it needs the cow. If something is rough and young then it likes the cow. If something is blue then it needs the cat. If something needs the cow then it chases the cow. If something likes the rabbit and the rabbit is kind then it needs the rabbit. If something chases the cow then the cow likes the cat.
The cow is not blue.
@0: The bald eagle is kind.[(triple1)] The cat chases the bald eagle.[(triple2)] The cat is young.[(triple3)] The cat needs the bald eagle.[(triple4)] The cat needs the cow.[(triple5)] The cow chases the rabbit.[(triple6)] The cow is red.[(triple7)] The cow is rough.[(triple8)] The cow likes the bald eagle.[(triple9)] The rabbit is rough.[(triple10)] The rabbit needs the cat.[(triple11)] @1: The cat chases the cow.[(((triple5) -> rule5))] The rabbit needs the cow.[(((triple11) -> rule2))] @2: The cow likes the cat.[(((((triple5) -> rule5)) -> rule7) OR ((((((triple11) -> rule2)) -> rule5)) -> rule7))] The rabbit chases the cow.[(((((triple11) -> rule2)) -> rule5))] @3: The cow is blue.[(((triple7 ((((triple5) -> rule5)) -> rule7)) -> rule1) OR ((triple7 ((((((triple11) -> rule2)) -> rule5)) -> rule7)) -> rule1))] @4: The cow needs the cat.[(((((triple7 ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule4) OR ((((triple7 ((((((triple11) -> rule2)) -> rule5)) -> rule7)) -> rule1)) -> rule4))] @5: The cow needs the cow.[(((((((triple7 ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule4)) -> rule2) OR ((((((triple7 ((((((triple11) -> rule2)) -> rule5)) -> rule7)) -> rule1)) -> rule4)) -> rule2))] @6: The cow chases the cow.[(((((((((triple7 ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule4)) -> rule2)) -> rule5) OR ((((((((triple7 ((((((triple11) -> rule2)) -> rule5)) -> rule7)) -> rule1)) -> rule4)) -> rule2)) -> rule5))]