The bear chases the tiger. The bear eats the lion. The bear eats the squirrel. The bear visits the tiger. The lion chases the bear. The squirrel chases the tiger. The squirrel eats the lion. The squirrel is nice. The tiger chases the bear. The tiger does not chase the squirrel. The tiger does not eat the squirrel. If the lion chases the squirrel and the squirrel visits the bear then the squirrel chases the bear. If the squirrel chases the tiger then the squirrel visits the bear. If something is young and it visits the lion then the lion chases the squirrel. If something eats the squirrel then the squirrel eats the bear. If something eats the bear then the bear visits the lion. If something eats the bear and it is red then the bear is young. If something chases the lion and the lion does not eat the squirrel then the lion visits the squirrel. If something eats the bear and the bear eats the squirrel then the squirrel is red.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
If the lion chases the squirrel and the squirrel visits the bear then the squirrel chases the bear.
((("lion" "chases" "squirrel" "+") ("squirrel" "visits" "bear" "+")) -> ("squirrel" "chases" "bear" "+"))
If the squirrel chases the tiger then the squirrel visits the bear.
((("squirrel" "chases" "tiger" "+")) -> ("squirrel" "visits" "bear" "+"))
If something is young and it visits the lion then the lion chases the squirrel.
((("something" "is" "young" "+") ("something" "visits" "lion" "+")) -> ("lion" "chases" "squirrel" "+"))
If something eats the squirrel then the squirrel eats the bear.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "eats" "bear" "+"))
If something eats the bear then the bear visits the lion.
((("something" "eats" "bear" "+")) -> ("bear" "visits" "lion" "+"))
If something eats the bear and it is red then the bear is young.
((("something" "eats" "bear" "+") ("something" "is" "red" "+")) -> ("bear" "is" "young" "+"))
If something chases the lion and the lion does not eat the squirrel then the lion visits the squirrel.
((("something" "chases" "lion" "+") ("lion" "eats" "squirrel" "~")) -> ("lion" "visits" "squirrel" "+"))
If something eats the bear and the bear eats the squirrel then the squirrel is red.
((("something" "eats" "bear" "+") ("bear" "eats" "squirrel" "+")) -> ("squirrel" "is" "red" "+"))
The lion chases the bear.
True
1
proof
[(triple5)]
("lion" "chases" "bear" "+")
triple5
The tiger does not chase the bear.
False
1
inv-proof
[(triple9)]
("tiger" "chases" "bear" "-")
triple9
The squirrel eats the bear.
True
2
proof
[(((triple3) -> rule4))]
("squirrel" "eats" "bear" "+")
((triple3) -> (rule4 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel does not visit the bear.
False
2
inv-proof
[(((triple6) -> rule2))]
("squirrel" "visits" "bear" "-")
((triple6) -> (rule2 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The squirrel is red.
True
4
proof
[(((((triple3) -> rule4) triple3) -> rule8))]
("squirrel" "is" "red" "+")
((((triple3) -> (rule4 % int2)) triple3) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear does not visit the lion.
False
3
inv-proof
[(((((triple3) -> rule4)) -> rule5))]
("bear" "visits" "lion" "-")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear is young.
True
7
proof
[(((((triple3) -> rule4) ((((triple3) -> rule4) triple3) -> rule8)) -> rule6))]
("bear" "is" "young" "+")
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3)) triple3) -> (rule8 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int3
The bear is not young.
False
7
inv-proof
[(((((triple3) -> rule4) ((((triple3) -> rule4) triple3) -> rule8)) -> rule6))]
("bear" "is" "young" "-")
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3)) triple3) -> (rule8 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int3
The lion chases the squirrel.
True
11
proof
[(((((((triple3) -> rule4) ((((triple3) -> rule4) triple3) -> rule8)) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule3))]
("lion" "chases" "squirrel" "+")
((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5)) triple3) -> (rule8 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule3 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The bear visits the lion.
("bear" "visits" "lion" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int5
The lion does not chase the squirrel.
False
11
inv-proof
[(((((((triple3) -> rule4) ((((triple3) -> rule4) triple3) -> rule8)) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule3))]
("lion" "chases" "squirrel" "-")
((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5)) triple3) -> (rule8 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule3 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The bear visits the lion.
("bear" "visits" "lion" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int5
The squirrel chases the bear.
True
14
proof
[(((((((((triple3) -> rule4) ((((triple3) -> rule4) triple3) -> rule8)) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule3) ((triple6) -> rule2)) -> rule1))]
("squirrel" "chases" "bear" "+")
((((((((triple3) -> (rule4 % int7)) ((((triple3) -> (rule4 % int7)) triple3) -> (rule8 % int6))) -> (rule6 % int5)) ((((triple3) -> (rule4 % int7))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int3
The bear visits the lion.
("bear" "visits" "lion" "+")
int4
The bear is young.
("bear" "is" "young" "+")
int5
The squirrel is red.
("squirrel" "is" "red" "+")
int6
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int7
The squirrel does not chase the bear.
False
14
inv-proof
[(((((((((triple3) -> rule4) ((((triple3) -> rule4) triple3) -> rule8)) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule3) ((triple6) -> rule2)) -> rule1))]
("squirrel" "chases" "bear" "-")
((((((((triple3) -> (rule4 % int7)) ((((triple3) -> (rule4 % int7)) triple3) -> (rule8 % int6))) -> (rule6 % int5)) ((((triple3) -> (rule4 % int7))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int3
The bear visits the lion.
("bear" "visits" "lion" "+")
int4
The bear is young.
("bear" "is" "young" "+")
int5
The squirrel is red.
("squirrel" "is" "red" "+")
int6
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int7
The lion does not visit the squirrel.
Unknown
inv-rconc
[@1: The lion visits the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "visits" "squirrel" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
The lion does not visit the bear.
Unknown
inv-random
[@0: The lion visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "bear" "-")
The tiger visits the squirrel.
Unknown
random
[@0: The tiger visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "squirrel" "+")
The tiger does not chase the lion.
Unknown
inv-random
[@0: The tiger chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "lion" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The bear chases the squirrel.
Unknown
random
[@0: The bear chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "squirrel" "+")
The squirrel does not eat the tiger.
Unknown
inv-random
[@0: The squirrel eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "tiger" "-")
The lion eats the bear.
Unknown
random
[@0: The lion eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bear" "+")
@0: The bear chases the tiger.[(triple1)] The bear eats the lion.[(triple2)] The bear eats the squirrel.[(triple3)] The bear visits the tiger.[(triple4)] The lion chases the bear.[(triple5)] The squirrel chases the tiger.[(triple6)] The squirrel eats the lion.[(triple7)] The squirrel is nice.[(triple8)] The tiger chases the bear.[(triple9)] The tiger does not chase the squirrel.[(triple10)] The tiger does not eat the squirrel.[(triple11)] @1: The squirrel eats the bear.[(((triple3) -> rule4))] The squirrel visits the bear.[(((triple6) -> rule2))] @2: The bear visits the lion.[(((((triple3) -> rule4)) -> rule5))] The squirrel is red.[(((((triple3) -> rule4) triple3) -> rule8))] @3: The bear is young.[(((((triple3) -> rule4) ((((triple3) -> rule4) triple3) -> rule8)) -> rule6))] @4: The lion chases the squirrel.[(((((((triple3) -> rule4) ((((triple3) -> rule4) triple3) -> rule8)) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule3))] @5: The squirrel chases the bear.[(((((((((triple3) -> rule4) ((((triple3) -> rule4) triple3) -> rule8)) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule3) ((triple6) -> rule2)) -> rule1))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear eats the lion.
("bear" "eats" "lion" "+")
triple2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple4
The lion chases the bear.
("lion" "chases" "bear" "+")
triple5
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple6
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple7
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple8
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple9
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
triple10
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
triple11
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
((triple3) -> (rule4 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
((triple6) -> (rule2 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The bear visits the lion.
("bear" "visits" "lion" "+")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
((((triple3) -> (rule4 % int2)) triple3) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear is young.
("bear" "is" "young" "+")
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3)) triple3) -> (rule8 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int3
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5)) triple3) -> (rule8 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule3 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The bear visits the lion.
("bear" "visits" "lion" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int5
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
((((((((triple3) -> (rule4 % int7)) ((((triple3) -> (rule4 % int7)) triple3) -> (rule8 % int6))) -> (rule6 % int5)) ((((triple3) -> (rule4 % int7))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int3
The bear visits the lion.
("bear" "visits" "lion" "+")
int4
The bear is young.
("bear" "is" "young" "+")
int5
The squirrel is red.
("squirrel" "is" "red" "+")
int6
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int7