The bear eats the lion. The bear is blue. The bear likes the lion. The lion eats the bear. The lion is big. The lion is red. The lion is round. If someone likes the lion then they are round. Blue people are rough. If the bear likes the lion then the bear is rough. If someone is big then they see the lion. If the lion is blue then the lion sees the bear. If the bear is blue and the bear is rough then the bear is red.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
If someone likes the lion then they are round.
((("someone" "likes" "lion" "+")) -> ("someone" "is" "round" "+"))
Blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If the bear likes the lion then the bear is rough.
((("bear" "likes" "lion" "+")) -> ("bear" "is" "rough" "+"))
If someone is big then they see the lion.
((("someone" "is" "big" "+")) -> ("someone" "sees" "lion" "+"))
If the lion is blue then the lion sees the bear.
((("lion" "is" "blue" "+")) -> ("lion" "sees" "bear" "+"))
If the bear is blue and the bear is rough then the bear is red.
((("bear" "is" "blue" "+") ("bear" "is" "rough" "+")) -> ("bear" "is" "red" "+"))
The lion is round.
True
1
proof
[(triple7)]
("lion" "is" "round" "+")
triple7
The lion does not eat the bear.
False
1
inv-proof
[(triple4)]
("lion" "eats" "bear" "-")
triple4
The lion is not rough.
Unknown
inv-rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "rough" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear eats the lion.[(triple1)] The bear is blue.[(triple2)] The bear likes the lion.[(triple3)] The lion eats the bear.[(triple4)] The lion is big.[(triple5)] The lion is red.[(triple6)] The lion is round.[(triple7)] @1: The bear is rough.[(((triple2) -> rule2) OR ((triple3) -> rule3))] The bear is round.[(((triple3) -> rule1))] The lion sees the lion.[(((triple5) -> rule4))] @2: The bear is red.[(((triple2 ((triple2) -> rule2)) -> rule6) OR ((triple2 ((triple3) -> rule3)) -> rule6))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear likes the lion.
("bear" "likes" "lion" "+")
triple3
The lion eats the bear.
("lion" "eats" "bear" "+")
triple4
The lion is big.
("lion" "is" "big" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The lion is round.
("lion" "is" "round" "+")
triple7
The bear is rough.
("bear" "is" "rough" "+")
((triple2) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
((triple3) -> (rule3 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is round.
("bear" "is" "round" "+")
((triple3) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
((triple5) -> (rule4 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The bear is red.
("bear" "is" "red" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
((triple2 ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2