The bear is nice. The bear needs the lion. The dog eats the lion. The dog is cold. The dog is green. The dog visits the bear. The dog visits the mouse. The lion eats the mouse. The lion needs the dog. The lion visits the bear. The mouse eats the bear. The mouse eats the dog. The mouse is round. The mouse visits the lion. If something is round then it eats the lion. If something is nice then it eats the dog. If something needs the lion then it visits the bear. If something eats the lion and the lion needs the bear then it is round. If something is round then it eats the mouse. If something eats the mouse then the mouse visits the dog. If the lion eats the mouse then the lion needs the bear. If something visits the dog then the dog visits the mouse. If something is round and it visits the bear then the bear eats the lion.
The dog is round.
@0: The bear is nice.[(triple1)] The bear needs the lion.[(triple2)] The dog eats the lion.[(triple3)] The dog is cold.[(triple4)] The dog is green.[(triple5)] The dog visits the bear.[(triple6)] The dog visits the mouse.[(triple7 OR ((((triple8) -> rule6)) -> rule8) OR ((((((triple13) -> rule5)) -> rule6)) -> rule8) OR ((((((((triple3 ((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule6)) -> rule8) OR ((((((((((((triple3 ((triple8) -> rule7)) -> rule4) triple6) -> rule9) ((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule6)) -> rule8))] The lion eats the mouse.[(triple8)] The lion needs the dog.[(triple9)] The lion visits the bear.[(triple10)] The mouse eats the bear.[(triple11)] The mouse eats the dog.[(triple12)] The mouse is round.[(triple13)] The mouse visits the lion.[(triple14)] @1: The bear eats the dog.[(((triple1) -> rule2))] The bear visits the bear.[(((triple2) -> rule3))] The lion needs the bear.[(((triple8) -> rule7))] The mouse eats the lion.[(((triple13) -> rule1))] The mouse eats the mouse.[(((triple13) -> rule5))] The mouse visits the dog.[(((triple8) -> rule6) OR ((((triple13) -> rule5)) -> rule6) OR ((((((triple3 ((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule6) OR ((((((((((triple3 ((triple8) -> rule7)) -> rule4) triple6) -> rule9) ((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule6))] @2: The dog is round.[(((triple3 ((triple8) -> rule7)) -> rule4))] @3: The bear eats the lion.[(((((triple3 ((triple8) -> rule7)) -> rule4) triple6) -> rule9))] The dog eats the mouse.[(((((triple3 ((triple8) -> rule7)) -> rule4)) -> rule5))] @4: The bear is round.[(((((((triple3 ((triple8) -> rule7)) -> rule4) triple6) -> rule9) ((triple8) -> rule7)) -> rule4))] @5: The bear eats the mouse.[(((((((((triple3 ((triple8) -> rule7)) -> rule4) triple6) -> rule9) ((triple8) -> rule7)) -> rule4)) -> rule5))]