The bear is red. The bear needs the rabbit. The bear sees the mouse. The dog eats the bear. The mouse is big. The mouse is nice. The mouse is red. The rabbit is big. The rabbit needs the dog. The rabbit sees the bear. If something eats the rabbit and it needs the dog then it eats the dog. If something needs the mouse and the mouse is round then it is big. If something is red and it eats the dog then it sees the rabbit. If something sees the rabbit and the rabbit sees the bear then it eats the mouse. If something is nice then it eats the rabbit. If the rabbit needs the mouse and the rabbit sees the bear then the mouse eats the bear. If something eats the mouse and it eats the dog then the dog is nice. If something eats the rabbit then it needs the dog.
The bear is big.
@0: The bear is red.[(triple1)] The bear needs the rabbit.[(triple2)] The bear sees the mouse.[(triple3)] The dog eats the bear.[(triple4)] The mouse is big.[(triple5)] The mouse is nice.[(triple6)] The mouse is red.[(triple7)] The rabbit is big.[(triple8)] The rabbit needs the dog.[(triple9)] The rabbit sees the bear.[(triple10)] @1: The mouse eats the rabbit.[(((triple6) -> rule5))] @2: The mouse needs the dog.[(((((triple6) -> rule5)) -> rule8))] @3: The mouse eats the dog.[(((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule1))] @4: The mouse sees the rabbit.[(((triple7 ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule1)) -> rule3))] @5: The mouse eats the mouse.[(((((triple7 ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule1)) -> rule3) triple10) -> rule4))] @6: The dog is nice.[(((((((triple7 ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule1)) -> rule3) triple10) -> rule4) ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule1)) -> rule7))] @7: The dog eats the rabbit.[(((((((((triple7 ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule1)) -> rule3) triple10) -> rule4) ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule1)) -> rule7)) -> rule5))] @8: The dog needs the dog.[(((((((((((triple7 ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule1)) -> rule3) triple10) -> rule4) ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule1)) -> rule7)) -> rule5)) -> rule8))] @9: The dog eats the dog.[(((((((((((triple7 ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule1)) -> rule3) triple10) -> rule4) ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule1)) -> rule7)) -> rule5) ((((((((((triple7 ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule1)) -> rule3) triple10) -> rule4) ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule1)) -> rule7)) -> rule5)) -> rule8)) -> rule1))]