The bear needs the rabbit. The cat is big. The cat is round. The cat needs the bear. The mouse is cold. The mouse needs the cat. The mouse needs the rabbit. The rabbit is big. The rabbit sees the cat. The rabbit sees the mouse. If something needs the bear then it is rough. If something sees the bear then the bear is big. If something visits the rabbit then the rabbit sees the bear. If something is cold and it visits the cat then it needs the mouse. If something needs the cat then it sees the mouse. If something visits the bear then the bear visits the rabbit. If something is big then it sees the cat. If something sees the cat then it visits the bear. If something sees the bear then the bear needs the mouse.
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If something needs the bear then it is rough.
((("something" "needs" "bear" "+")) -> ("something" "is" "rough" "+"))
If something sees the bear then the bear is big.
((("something" "sees" "bear" "+")) -> ("bear" "is" "big" "+"))
If something visits the rabbit then the rabbit sees the bear.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "sees" "bear" "+"))
If something is cold and it visits the cat then it needs the mouse.
((("something" "is" "cold" "+") ("something" "visits" "cat" "+")) -> ("something" "needs" "mouse" "+"))
If something needs the cat then it sees the mouse.
((("something" "needs" "cat" "+")) -> ("something" "sees" "mouse" "+"))
If something visits the bear then the bear visits the rabbit.
((("something" "visits" "bear" "+")) -> ("bear" "visits" "rabbit" "+"))
If something is big then it sees the cat.
((("something" "is" "big" "+")) -> ("something" "sees" "cat" "+"))
If something sees the cat then it visits the bear.
((("something" "sees" "cat" "+")) -> ("something" "visits" "bear" "+"))
If something sees the bear then the bear needs the mouse.
((("something" "sees" "bear" "+")) -> ("bear" "needs" "mouse" "+"))
The mouse is cold.
True
1
proof
[(triple5)]
("mouse" "is" "cold" "+")
triple5
The rabbit does not see the mouse.
False
1
inv-proof
[(triple10)]
("rabbit" "sees" "mouse" "-")
triple10
The cat sees the cat.
True
2
proof
[(((triple2) -> rule7))]
("cat" "sees" "cat" "+")
((triple2) -> (rule7 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat does not see the cat.
False
2
inv-proof
[(((triple2) -> rule7))]
("cat" "sees" "cat" "-")
((triple2) -> (rule7 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat visits the bear.
True
3
proof
[(((((triple2) -> rule7)) -> rule8))]
("cat" "visits" "bear" "+")
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The bear does not visit the rabbit.
False
3
inv-proof
[(((((triple9) -> rule8)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((triple8) -> rule7)) -> rule8)) -> rule6))]
("bear" "visits" "rabbit" "-")
((((triple9) -> (rule8 % int2))) -> (rule6 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
The cat sees the cat.
("cat" "sees" "cat" "+")
int3
((((((triple8) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The rabbit sees the bear.
True
4
proof
[(((((((triple9) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple2) -> rule7)) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple8) -> rule7)) -> rule8)) -> rule6)) -> rule3))]
("rabbit" "sees" "bear" "+")
((((((triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int3
((((((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The cat visits the bear.
("cat" "visits" "bear" "+")
int3
The cat sees the cat.
("cat" "sees" "cat" "+")
int4
((((((((triple8) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int3
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int4
The rabbit does not see the bear.
False
4
inv-proof
[(((((((triple9) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple2) -> rule7)) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple8) -> rule7)) -> rule8)) -> rule6)) -> rule3))]
("rabbit" "sees" "bear" "-")
((((((triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int3
((((((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The cat visits the bear.
("cat" "visits" "bear" "+")
int3
The cat sees the cat.
("cat" "sees" "cat" "+")
int4
((((((((triple8) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int3
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int4
The bear needs the mouse.
True
5
proof
[(((((((((triple9) -> rule8)) -> rule6)) -> rule3)) -> rule9) OR ((((((((((triple2) -> rule7)) -> rule8)) -> rule6)) -> rule3)) -> rule9) OR ((((((((((triple8) -> rule7)) -> rule8)) -> rule6)) -> rule3)) -> rule9))]
("bear" "needs" "mouse" "+")
((((((((triple9) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int4
((((((((((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The cat visits the bear.
("cat" "visits" "bear" "+")
int4
The cat sees the cat.
("cat" "sees" "cat" "+")
int5
((((((((((triple8) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int4
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int5
The bear does not need the mouse.
False
5
inv-proof
[(((((((((triple9) -> rule8)) -> rule6)) -> rule3)) -> rule9) OR ((((((((((triple2) -> rule7)) -> rule8)) -> rule6)) -> rule3)) -> rule9) OR ((((((((((triple8) -> rule7)) -> rule8)) -> rule6)) -> rule3)) -> rule9))]
("bear" "needs" "mouse" "-")
((((((((triple9) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int4
((((((((((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The cat visits the bear.
("cat" "visits" "bear" "+")
int4
The cat sees the cat.
("cat" "sees" "cat" "+")
int5
((((((((((triple8) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int4
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int5
The bear sees the cat.
True
6
proof
[(((((((((((triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((((((((((((triple2) -> rule7)) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((((((((((((triple8) -> rule7)) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7))]
("bear" "sees" "cat" "+")
((((((((((triple9) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int4
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int5
((((((((((((triple2) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int4
The cat visits the bear.
("cat" "visits" "bear" "+")
int5
The cat sees the cat.
("cat" "sees" "cat" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int4
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int5
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int6
The bear does not see the cat.
False
6
inv-proof
[(((((((((((triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((((((((((((triple2) -> rule7)) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((((((((((((triple8) -> rule7)) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7))]
("bear" "sees" "cat" "-")
((((((((((triple9) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int4
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int5
((((((((((((triple2) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int4
The cat visits the bear.
("cat" "visits" "bear" "+")
int5
The cat sees the cat.
("cat" "sees" "cat" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int4
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int5
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int6
The bear does not see the mouse.
Unknown
inv-rconc
[@1: The bear sees the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "sees" "mouse" "-")
The cat sees the mouse.
Unknown
rconc
[@1: The cat sees the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "sees" "mouse" "+")
The mouse does not visit the bear.
Unknown
inv-rconc
[@2: The mouse visits the bear.[CWA. Example of deepest failure = (rule8 <- rule7 <- FAIL)]]
("mouse" "visits" "bear" "-")
The mouse needs the mouse.
Unknown
rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "needs" "mouse" "+")
The mouse is not rough.
Unknown
inv-rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "rough" "-")
The mouse sees the cat.
Unknown
rconc
[@1: The mouse sees the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "sees" "cat" "+")
The rabbit does not visit the cat.
Unknown
inv-random
[@0: The rabbit visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "cat" "-")
The mouse needs the bear.
Unknown
random
[@0: The mouse needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "bear" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The mouse visits the rabbit.
Unknown
random
[@0: The mouse visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "rabbit" "+")
The cat does not see the rabbit.
Unknown
inv-random
[@0: The cat sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "rabbit" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear needs the rabbit.[(triple1)] The cat is big.[(triple2)] The cat is round.[(triple3)] The cat needs the bear.[(triple4)] The mouse is cold.[(triple5)] The mouse needs the cat.[(triple6)] The mouse needs the rabbit.[(triple7)] The rabbit is big.[(triple8)] The rabbit sees the cat.[(triple9 OR ((triple8) -> rule7))] The rabbit sees the mouse.[(triple10)] @1: The cat is rough.[(((triple4) -> rule1))] The cat sees the cat.[(((triple2) -> rule7))] The mouse sees the mouse.[(((triple6) -> rule5))] The rabbit visits the bear.[(((triple9) -> rule8) OR ((((triple8) -> rule7)) -> rule8))] @2: The bear visits the rabbit.[(((((triple9) -> rule8)) -> rule6) OR ((((((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((triple8) -> rule7)) -> rule8)) -> rule6))] The cat visits the bear.[(((((triple2) -> rule7)) -> rule8))] @3: The rabbit sees the bear.[(((((((triple9) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple2) -> rule7)) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple8) -> rule7)) -> rule8)) -> rule6)) -> rule3))] @4: The bear is big.[(((((((((triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2) OR ((((((((((triple2) -> rule7)) -> rule8)) -> rule6)) -> rule3)) -> rule2) OR ((((((((((triple8) -> rule7)) -> rule8)) -> rule6)) -> rule3)) -> rule2))] The bear needs the mouse.[(((((((((triple9) -> rule8)) -> rule6)) -> rule3)) -> rule9) OR ((((((((((triple2) -> rule7)) -> rule8)) -> rule6)) -> rule3)) -> rule9) OR ((((((((((triple8) -> rule7)) -> rule8)) -> rule6)) -> rule3)) -> rule9))] @5: The bear sees the cat.[(((((((((((triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((((((((((((triple2) -> rule7)) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((((((((((((triple8) -> rule7)) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7))] @6: The bear visits the bear.[(((((((((((((triple9) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule8) OR ((((((((((((((triple2) -> rule7)) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule8) OR ((((((((((((((triple8) -> rule7)) -> rule8)) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule8))]
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The cat needs the bear.
("cat" "needs" "bear" "+")
triple4
The mouse is cold.
("mouse" "is" "cold" "+")
triple5
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple6
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple7
The rabbit is big.
("rabbit" "is" "big" "+")
triple8
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple9
((triple8) -> (rule7 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple10
The cat is rough.
("cat" "is" "rough" "+")
((triple4) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
((triple2) -> (rule7 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple6) -> (rule5 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
((triple9) -> (rule8 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
((((triple8) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
((((triple9) -> (rule8 % int2))) -> (rule6 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
int2
The cat sees the cat.
("cat" "sees" "cat" "+")
int3
((((((triple8) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int2
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int3
The cat visits the bear.
("cat" "visits" "bear" "+")
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
((((((triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int3
((((((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The cat visits the bear.
("cat" "visits" "bear" "+")
int3
The cat sees the cat.
("cat" "sees" "cat" "+")
int4
((((((((triple8) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int3
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int4
The bear is big.
("bear" "is" "big" "+")
((((((((triple9) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int4
((((((((((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The cat visits the bear.
("cat" "visits" "bear" "+")
int4
The cat sees the cat.
("cat" "sees" "cat" "+")
int5
((((((((((triple8) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int4
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int5
The bear needs the mouse.
("bear" "needs" "mouse" "+")
((((((((triple9) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int4
((((((((((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The cat visits the bear.
("cat" "visits" "bear" "+")
int4
The cat sees the cat.
("cat" "sees" "cat" "+")
int5
((((((((((triple8) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int4
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int5
The bear sees the cat.
("bear" "sees" "cat" "+")
((((((((((triple9) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int4
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int5
((((((((((((triple2) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int4
The cat visits the bear.
("cat" "visits" "bear" "+")
int5
The cat sees the cat.
("cat" "sees" "cat" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int4
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int5
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int6
The bear visits the bear.
("bear" "visits" "bear" "+")
((((((((((((triple9) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear sees the cat.
("bear" "sees" "cat" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int4
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int5
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int6
((((((((((((((triple2) -> (rule7 % int7))) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear sees the cat.
("bear" "sees" "cat" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int4
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int5
The cat visits the bear.
("cat" "visits" "bear" "+")
int6
The cat sees the cat.
("cat" "sees" "cat" "+")
int7
((((((((((((((triple8) -> (rule7 % int7))) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear sees the cat.
("bear" "sees" "cat" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int4
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int5
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int6
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int7