The bear is cold. The bear is nice. The bear is round. The bear likes the cow. The bear likes the mouse. The cow is kind. The cow likes the bear. The cow needs the mouse. The cow needs the rabbit. The cow sees the rabbit. The mouse sees the rabbit. The rabbit needs the bear. The rabbit needs the mouse. The rabbit sees the mouse. If the mouse is nice and the mouse sees the cow then the cow likes the bear. If something sees the rabbit and the rabbit is nice then it sees the bear. If something is kind then it sees the mouse. If something sees the bear and the bear is round then it sees the mouse. If something sees the rabbit then it sees the cow. If something sees the bear then the bear sees the rabbit. If something sees the bear then it likes the rabbit. If something needs the rabbit then the rabbit is nice.
The bear is cold.
("bear" "is" "cold" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If the mouse is nice and the mouse sees the cow then the cow likes the bear.
((("mouse" "is" "nice" "+") ("mouse" "sees" "cow" "+")) -> ("cow" "likes" "bear" "+"))
If something sees the rabbit and the rabbit is nice then it sees the bear.
((("something" "sees" "rabbit" "+") ("rabbit" "is" "nice" "+")) -> ("something" "sees" "bear" "+"))
If something is kind then it sees the mouse.
((("something" "is" "kind" "+")) -> ("something" "sees" "mouse" "+"))
If something sees the bear and the bear is round then it sees the mouse.
((("something" "sees" "bear" "+") ("bear" "is" "round" "+")) -> ("something" "sees" "mouse" "+"))
If something sees the rabbit then it sees the cow.
((("something" "sees" "rabbit" "+")) -> ("something" "sees" "cow" "+"))
If something sees the bear then the bear sees the rabbit.
((("something" "sees" "bear" "+")) -> ("bear" "sees" "rabbit" "+"))
If something sees the bear then it likes the rabbit.
((("something" "sees" "bear" "+")) -> ("something" "likes" "rabbit" "+"))
If something needs the rabbit then the rabbit is nice.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "is" "nice" "+"))
The cow likes the bear.
True
1
proof
[(triple7)]
("cow" "likes" "bear" "+")
triple7
The cow is not kind.
False
1
inv-proof
[(triple6)]
("cow" "is" "kind" "-")
triple6
The cow sees the cow.
True
2
proof
[(((triple10) -> rule5))]
("cow" "sees" "cow" "+")
((triple10) -> (rule5 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The rabbit is not nice.
False
2
inv-proof
[(((triple9) -> rule8))]
("rabbit" "is" "nice" "-")
((triple9) -> (rule8 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The mouse sees the bear.
True
4
proof
[(((triple11 ((triple9) -> rule8)) -> rule2))]
("mouse" "sees" "bear" "+")
((triple11 ((triple9) -> (rule8 % int2))) -> (rule2 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The mouse does not see the bear.
False
4
inv-proof
[(((triple11 ((triple9) -> rule8)) -> rule2))]
("mouse" "sees" "bear" "-")
((triple11 ((triple9) -> (rule8 % int2))) -> (rule2 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The bear sees the rabbit.
True
5
proof
[(((((triple10 ((triple9) -> rule8)) -> rule2)) -> rule6) OR ((((triple11 ((triple9) -> rule8)) -> rule2)) -> rule6))]
("bear" "sees" "rabbit" "+")
((((triple10 ((triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The cow sees the bear.
("cow" "sees" "bear" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
((((triple11 ((triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The mouse does not like the rabbit.
False
5
inv-proof
[(((((triple11 ((triple9) -> rule8)) -> rule2)) -> rule7))]
("mouse" "likes" "rabbit" "-")
((((triple11 ((triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int1
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The bear sees the bear.
True
8
proof
[(((((((triple10 ((triple9) -> rule8)) -> rule2)) -> rule6) ((triple9) -> rule8)) -> rule2) OR ((((((triple11 ((triple9) -> rule8)) -> rule2)) -> rule6) ((triple9) -> rule8)) -> rule2))]
("bear" "sees" "bear" "+")
((((((triple10 ((triple9) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple9) -> (rule8 % int4))) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The cow sees the bear.
("cow" "sees" "bear" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
int4
((((((triple11 ((triple9) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple9) -> (rule8 % int4))) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
int4
The bear does not see the bear.
False
8
inv-proof
[(((((((triple10 ((triple9) -> rule8)) -> rule2)) -> rule6) ((triple9) -> rule8)) -> rule2) OR ((((((triple11 ((triple9) -> rule8)) -> rule2)) -> rule6) ((triple9) -> rule8)) -> rule2))]
("bear" "sees" "bear" "-")
((((((triple10 ((triple9) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple9) -> (rule8 % int4))) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The cow sees the bear.
("cow" "sees" "bear" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
int4
((((((triple11 ((triple9) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple9) -> (rule8 % int4))) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
int4
The bear sees the mouse.
True
10
proof
[(((((((((triple10 ((triple9) -> rule8)) -> rule2)) -> rule6) ((triple9) -> rule8)) -> rule2) triple3) -> rule4) OR ((((((((triple11 ((triple9) -> rule8)) -> rule2)) -> rule6) ((triple9) -> rule8)) -> rule2) triple3) -> rule4))]
("bear" "sees" "mouse" "+")
((((((((triple10 ((triple9) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) ((triple9) -> (rule8 % int5))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The cow sees the bear.
("cow" "sees" "bear" "+")
int4
The rabbit is nice.
("rabbit" "is" "nice" "+")
int5
((((((((triple11 ((triple9) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) ((triple9) -> (rule8 % int5))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int4
The rabbit is nice.
("rabbit" "is" "nice" "+")
int5
The bear does not see the mouse.
False
10
inv-proof
[(((((((((triple10 ((triple9) -> rule8)) -> rule2)) -> rule6) ((triple9) -> rule8)) -> rule2) triple3) -> rule4) OR ((((((((triple11 ((triple9) -> rule8)) -> rule2)) -> rule6) ((triple9) -> rule8)) -> rule2) triple3) -> rule4))]
("bear" "sees" "mouse" "-")
((((((((triple10 ((triple9) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) ((triple9) -> (rule8 % int5))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The cow sees the bear.
("cow" "sees" "bear" "+")
int4
The rabbit is nice.
("rabbit" "is" "nice" "+")
int5
((((((((triple11 ((triple9) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) ((triple9) -> (rule8 % int5))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int4
The rabbit is nice.
("rabbit" "is" "nice" "+")
int5
The rabbit does not see the cow.
Unknown
inv-rconc
[@1: The rabbit sees the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "sees" "cow" "-")
The rabbit sees the bear.
Unknown
rconc
[@1: The rabbit sees the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "sees" "bear" "+")
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@2: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
The rabbit does not like the bear.
Unknown
inv-random
[@0: The rabbit likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bear" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
The bear does not need the mouse.
Unknown
inv-random
[@0: The bear needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "mouse" "-")
The bear needs the cow.
Unknown
random
[@0: The bear needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "cow" "+")
The mouse is not round.
Unknown
inv-random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "-")
The cow likes the mouse.
Unknown
random
[@0: The cow likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "mouse" "+")
@0: The bear is cold.[(triple1)] The bear is nice.[(triple2)] The bear is round.[(triple3)] The bear likes the cow.[(triple4)] The bear likes the mouse.[(triple5)] The cow is kind.[(triple6)] The cow likes the bear.[(triple7)] The cow needs the mouse.[(triple8)] The cow needs the rabbit.[(triple9)] The cow sees the rabbit.[(triple10)] The mouse sees the rabbit.[(triple11)] The rabbit needs the bear.[(triple12)] The rabbit needs the mouse.[(triple13)] The rabbit sees the mouse.[(triple14)] @1: The cow sees the cow.[(((triple10) -> rule5))] The cow sees the mouse.[(((triple6) -> rule3) OR ((((triple10 ((triple9) -> rule8)) -> rule2) triple3) -> rule4))] The mouse sees the cow.[(((triple11) -> rule5))] The rabbit is nice.[(((triple9) -> rule8))] @2: The cow sees the bear.[(((triple10 ((triple9) -> rule8)) -> rule2))] The mouse sees the bear.[(((triple11 ((triple9) -> rule8)) -> rule2))] @3: The bear sees the rabbit.[(((((triple10 ((triple9) -> rule8)) -> rule2)) -> rule6) OR ((((triple11 ((triple9) -> rule8)) -> rule2)) -> rule6))] The cow likes the rabbit.[(((((triple10 ((triple9) -> rule8)) -> rule2)) -> rule7))] The mouse likes the rabbit.[(((((triple11 ((triple9) -> rule8)) -> rule2)) -> rule7))] The mouse sees the mouse.[(((((triple11 ((triple9) -> rule8)) -> rule2) triple3) -> rule4))] @4: The bear sees the bear.[(((((((triple10 ((triple9) -> rule8)) -> rule2)) -> rule6) ((triple9) -> rule8)) -> rule2) OR ((((((triple11 ((triple9) -> rule8)) -> rule2)) -> rule6) ((triple9) -> rule8)) -> rule2))] The bear sees the cow.[(((((((triple10 ((triple9) -> rule8)) -> rule2)) -> rule6)) -> rule5) OR ((((((triple11 ((triple9) -> rule8)) -> rule2)) -> rule6)) -> rule5))] @5: The bear likes the rabbit.[(((((((((triple10 ((triple9) -> rule8)) -> rule2)) -> rule6) ((triple9) -> rule8)) -> rule2)) -> rule7) OR ((((((((triple11 ((triple9) -> rule8)) -> rule2)) -> rule6) ((triple9) -> rule8)) -> rule2)) -> rule7))] The bear sees the mouse.[(((((((((triple10 ((triple9) -> rule8)) -> rule2)) -> rule6) ((triple9) -> rule8)) -> rule2) triple3) -> rule4) OR ((((((((triple11 ((triple9) -> rule8)) -> rule2)) -> rule6) ((triple9) -> rule8)) -> rule2) triple3) -> rule4))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear likes the cow.
("bear" "likes" "cow" "+")
triple4
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple5
The cow is kind.
("cow" "is" "kind" "+")
triple6
The cow likes the bear.
("cow" "likes" "bear" "+")
triple7
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple8
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple9
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple10
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple11
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple12
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple13
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple14
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple10) -> (rule5 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
((triple6) -> (rule3 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
((((triple10 ((triple9) -> (rule8 % int3))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The cow sees the bear.
("cow" "sees" "bear" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The mouse sees the cow.
("mouse" "sees" "cow" "+")
((triple11) -> (rule5 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple9) -> (rule8 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The cow sees the bear.
("cow" "sees" "bear" "+")
((triple10 ((triple9) -> (rule8 % int2))) -> (rule2 % int1))
The cow sees the bear.
("cow" "sees" "bear" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The mouse sees the bear.
("mouse" "sees" "bear" "+")
((triple11 ((triple9) -> (rule8 % int2))) -> (rule2 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
((((triple10 ((triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The cow sees the bear.
("cow" "sees" "bear" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
((((triple11 ((triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
((((triple10 ((triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int1
The cow sees the bear.
("cow" "sees" "bear" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
((((triple11 ((triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int1
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((((triple11 ((triple9) -> (rule8 % int3))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The bear sees the bear.
("bear" "sees" "bear" "+")
((((((triple10 ((triple9) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple9) -> (rule8 % int4))) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The cow sees the bear.
("cow" "sees" "bear" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
int4
((((((triple11 ((triple9) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple9) -> (rule8 % int4))) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
int4
The bear sees the cow.
("bear" "sees" "cow" "+")
((((((triple10 ((triple9) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The cow sees the bear.
("cow" "sees" "bear" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
int4
((((((triple11 ((triple9) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
int4
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
((((((((triple10 ((triple9) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) ((triple9) -> (rule8 % int5))) -> (rule2 % int2))) -> (rule7 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The cow sees the bear.
("cow" "sees" "bear" "+")
int4
The rabbit is nice.
("rabbit" "is" "nice" "+")
int5
((((((((triple11 ((triple9) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) ((triple9) -> (rule8 % int5))) -> (rule2 % int2))) -> (rule7 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int4
The rabbit is nice.
("rabbit" "is" "nice" "+")
int5
The bear sees the mouse.
("bear" "sees" "mouse" "+")
((((((((triple10 ((triple9) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) ((triple9) -> (rule8 % int5))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The cow sees the bear.
("cow" "sees" "bear" "+")
int4
The rabbit is nice.
("rabbit" "is" "nice" "+")
int5
((((((((triple11 ((triple9) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) ((triple9) -> (rule8 % int5))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int4
The rabbit is nice.
("rabbit" "is" "nice" "+")
int5