The bear is big. The bear is young. The bear likes the squirrel. The bear visits the rabbit. The rabbit is blue. The squirrel is blue. The squirrel is cold. The squirrel is young. The squirrel likes the rabbit. The squirrel sees the bear. The squirrel sees the rabbit. The squirrel visits the bear. Blue people are cold. If someone is young and they like the squirrel then the squirrel is big. If someone likes the rabbit and the rabbit visits the squirrel then they visit the rabbit. If someone sees the bear and they like the squirrel then the squirrel likes the rabbit. If someone likes the squirrel then the squirrel visits the bear. If someone is big and they see the bear then they like the squirrel. If the rabbit is big and the rabbit is cold then the rabbit likes the bear. If someone likes the squirrel and they see the rabbit then they visit the squirrel.
The bear is big.
("bear" "is" "big" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
Blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and they like the squirrel then the squirrel is big.
((("someone" "is" "young" "+") ("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "big" "+"))
If someone likes the rabbit and the rabbit visits the squirrel then they visit the rabbit.
((("someone" "likes" "rabbit" "+") ("rabbit" "visits" "squirrel" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone sees the bear and they like the squirrel then the squirrel likes the rabbit.
((("someone" "sees" "bear" "+") ("someone" "likes" "squirrel" "+")) -> ("squirrel" "likes" "rabbit" "+"))
If someone likes the squirrel then the squirrel visits the bear.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "visits" "bear" "+"))
If someone is big and they see the bear then they like the squirrel.
((("someone" "is" "big" "+") ("someone" "sees" "bear" "+")) -> ("someone" "likes" "squirrel" "+"))
If the rabbit is big and the rabbit is cold then the rabbit likes the bear.
((("rabbit" "is" "big" "+") ("rabbit" "is" "cold" "+")) -> ("rabbit" "likes" "bear" "+"))
If someone likes the squirrel and they see the rabbit then they visit the squirrel.
((("someone" "likes" "squirrel" "+") ("someone" "sees" "rabbit" "+")) -> ("someone" "visits" "squirrel" "+"))
The bear likes the squirrel.
True
1
proof
[(triple3)]
("bear" "likes" "squirrel" "+")
triple3
The rabbit is not blue.
False
1
inv-proof
[(triple5)]
("rabbit" "is" "blue" "-")
triple5
The rabbit is cold.
True
2
proof
[(((triple5) -> rule1))]
("rabbit" "is" "cold" "+")
((triple5) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The squirrel is not big.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("squirrel" "is" "big" "-")
((triple2 triple3) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel likes the squirrel.
True
5
proof
[(((((triple2 triple3) -> rule2) triple10) -> rule6))]
("squirrel" "likes" "squirrel" "+")
((((triple2 triple3) -> (rule2 % int2)) triple10) -> (rule6 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel does not like the squirrel.
False
5
inv-proof
[(((((triple2 triple3) -> rule2) triple10) -> rule6))]
("squirrel" "likes" "squirrel" "-")
((((triple2 triple3) -> (rule2 % int2)) triple10) -> (rule6 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "cold" "-")
The squirrel visits the rabbit.
Unknown
rconc
[@2: The squirrel visits the rabbit.[CWA. Example of deepest failure = (rule3 <- rule8 <- FAIL)]]
("squirrel" "visits" "rabbit" "+")
The rabbit does not visit the squirrel.
Unknown
inv-rconc
[@1: The rabbit visits the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "visits" "squirrel" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The rabbit sees the squirrel.
Unknown
random
[@0: The rabbit sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "squirrel" "+")
@0: The bear is big.[(triple1)] The bear is young.[(triple2)] The bear likes the squirrel.[(triple3)] The bear visits the rabbit.[(triple4)] The rabbit is blue.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is cold.[(triple7 OR ((triple6) -> rule1))] The squirrel is young.[(triple8)] The squirrel likes the rabbit.[(triple9 OR ((triple10 ((((triple2 triple3) -> rule2) triple10) -> rule6)) -> rule4))] The squirrel sees the bear.[(triple10)] The squirrel sees the rabbit.[(triple11)] The squirrel visits the bear.[(triple12 OR ((triple3) -> rule5) OR ((((((triple2 triple3) -> rule2) triple10) -> rule6)) -> rule5))] @1: The rabbit is cold.[(((triple5) -> rule1))] The squirrel is big.[(((triple2 triple3) -> rule2))] @2: The squirrel likes the squirrel.[(((((triple2 triple3) -> rule2) triple10) -> rule6))] @3: The squirrel visits the squirrel.[(((((((triple2 triple3) -> rule2) triple10) -> rule6) triple11) -> rule8))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple4
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple5
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple6
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
((triple6) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
triple8
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple9
((triple10 ((((triple2 triple3) -> (rule2 % int3)) triple10) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
int3
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple10
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple11
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple12
((triple3) -> (rule5 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
((((((triple2 triple3) -> (rule2 % int3)) triple10) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple5) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
((triple2 triple3) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((((triple2 triple3) -> (rule2 % int2)) triple10) -> (rule6 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((((triple2 triple3) -> (rule2 % int3)) triple10) -> (rule6 % int2)) triple11) -> (rule8 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
int3