The bear is cold. The bear is red. The bear likes the cow. The bear needs the lion. The cow likes the mouse. The cow needs the lion. The cow needs the mouse. The lion is red. The lion is young. The lion needs the cow. The lion sees the bear. The lion sees the cow. The lion sees the mouse. The mouse is cold. If something needs the cow then it likes the lion. If something is young then it likes the cow. If something likes the bear then it sees the lion. If the cow likes the bear and the bear is cold then the cow is kind. If something likes the mouse and it likes the lion then the lion needs the bear. If something needs the lion and the lion likes the cow then it is cold. If something is red then it needs the cow. If something likes the cow and it sees the mouse then the cow is red. If something likes the bear then the bear sees the cow.
The cow needs the cow.
@0: The bear is cold.[(triple1 OR ((triple4 ((triple9) -> rule2)) -> rule6))] The bear is red.[(triple2)] The bear likes the cow.[(triple3)] The bear needs the lion.[(triple4)] The cow likes the mouse.[(triple5)] The cow needs the lion.[(triple6)] The cow needs the mouse.[(triple7)] The lion is red.[(triple8)] The lion is young.[(triple9)] The lion needs the cow.[(triple10 OR ((triple8) -> rule7))] The lion sees the bear.[(triple11)] The lion sees the cow.[(triple12)] The lion sees the mouse.[(triple13)] The mouse is cold.[(triple14)] @1: The bear needs the cow.[(((triple2) -> rule7))] The lion likes the cow.[(((triple9) -> rule2))] The lion likes the lion.[(((triple10) -> rule1) OR ((((triple8) -> rule7)) -> rule1))] @2: The bear likes the lion.[(((((triple2) -> rule7)) -> rule1))] The cow is cold.[(((triple6 ((triple9) -> rule2)) -> rule6))] The cow is red.[(((((triple9) -> rule2) triple13) -> rule8))] @3: The cow needs the cow.[(((((((triple9) -> rule2) triple13) -> rule8)) -> rule7))] @4: The cow likes the lion.[(((((((((triple9) -> rule2) triple13) -> rule8)) -> rule7)) -> rule1))] @5: The lion needs the bear.[(((triple5 ((((((((triple9) -> rule2) triple13) -> rule8)) -> rule7)) -> rule1)) -> rule5))]