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