The bear eats the lion. The bear is blue. The bear is red. The bear is round. The bear visits the cat. The cat is blue. The cat visits the bear. The cat visits the lion. The lion eats the bear. The lion needs the bear. The lion needs the cat. The lion visits the bear. If someone needs the lion then they are cold. If someone is round then they eat the cat. If someone is rough and cold then they eat the cat.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
If someone needs the lion then they are cold.
((("someone" "needs" "lion" "+")) -> ("someone" "is" "cold" "+"))
If someone is round then they eat the cat.
((("someone" "is" "round" "+")) -> ("someone" "eats" "cat" "+"))
If someone is rough and cold then they eat the cat.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "eats" "cat" "+"))
The cat visits the bear.
True
1
proof
[(triple7)]
("cat" "visits" "bear" "+")
triple7
The bear is not round.
False
1
inv-proof
[(triple4)]
("bear" "is" "round" "-")
triple4
The bear eats the cat.
True
2
proof
[(((triple4) -> rule2))]
("bear" "eats" "cat" "+")
((triple4) -> (rule2 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear does not eat the cat.
False
2
inv-proof
[(((triple4) -> rule2))]
("bear" "eats" "cat" "-")
((triple4) -> (rule2 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "cold" "-")
The cat is cold.
Unknown
rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "cold" "+")
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 lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
@0: The bear eats the lion.[(triple1)] The bear is blue.[(triple2)] The bear is red.[(triple3)] The bear is round.[(triple4)] The bear visits the cat.[(triple5)] The cat is blue.[(triple6)] The cat visits the bear.[(triple7)] The cat visits the lion.[(triple8)] The lion eats the bear.[(triple9)] The lion needs the bear.[(triple10)] The lion needs the cat.[(triple11)] The lion visits the bear.[(triple12)] @1: The bear eats the cat.[(((triple4) -> rule2))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear visits the cat.
("bear" "visits" "cat" "+")
triple5
The cat is blue.
("cat" "is" "blue" "+")
triple6
The cat visits the bear.
("cat" "visits" "bear" "+")
triple7
The cat visits the lion.
("cat" "visits" "lion" "+")
triple8
The lion eats the bear.
("lion" "eats" "bear" "+")
triple9
The lion needs the bear.
("lion" "needs" "bear" "+")
triple10
The lion needs the cat.
("lion" "needs" "cat" "+")
triple11
The lion visits the bear.
("lion" "visits" "bear" "+")
triple12
The bear eats the cat.
("bear" "eats" "cat" "+")
((triple4) -> (rule2 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1