The bald eagle chases the cat. The bald eagle chases the tiger. The bald eagle is blue. The bald eagle is green. The bald eagle is rough. The bald eagle likes the cat. The bald eagle does not need the lion. The cat is green. The cat likes the bald eagle. The cat likes the lion. The cat needs the lion. The cat needs the tiger. The lion is round. The tiger is rough. The tiger does not need the bald eagle. The tiger needs the cat. Rough things are round. Blue, round things are big.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle does not need the lion.
("bald eagle" "needs" "lion" "-")
The cat is green.
("cat" "is" "green" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The lion is round.
("lion" "is" "round" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
Rough things are round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
Blue, round things are big.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
The bald eagle does not need the lion.
True
1
proof
[(triple7)]
("bald eagle" "needs" "lion" "-")
triple7
The bald eagle does not chase the tiger.
False
1
inv-proof
[(triple2)]
("bald eagle" "chases" "tiger" "-")
triple2
The bald eagle is round.
True
2
proof
[(((triple5) -> rule1))]
("bald eagle" "is" "round" "+")
((triple5) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is not round.
False
2
inv-proof
[(((triple5) -> rule1))]
("bald eagle" "is" "round" "-")
((triple5) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is big.
True
4
proof
[(((triple3 ((triple5) -> rule1)) -> rule2))]
("bald eagle" "is" "big" "+")
((triple3 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle is not big.
False
4
inv-proof
[(((triple3 ((triple5) -> rule1)) -> rule2))]
("bald eagle" "is" "big" "-")
((triple3 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "round" "-")
The cat is big.
Unknown
rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "big" "+")
The tiger is not big.
Unknown
inv-rconc
[@1: The tiger is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "big" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
The cat is not rough.
Unknown
inv-random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "-")
The tiger chases the lion.
Unknown
random
[@0: The tiger chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "lion" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle does not need the lion.[(triple7)] The bald eagle is blue.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle likes the cat.[(triple6)] The cat is green.[(triple8)] The cat likes the bald eagle.[(triple9)] The cat likes the lion.[(triple10)] The cat needs the lion.[(triple11)] The cat needs the tiger.[(triple12)] The lion is round.[(triple13)] The tiger does not need the bald eagle.[(triple15)] The tiger is rough.[(triple14)] The tiger needs the cat.[(triple16)] @1: The bald eagle is round.[(((triple5) -> rule1))] The tiger is round.[(((triple14) -> rule1))] @2: The bald eagle is big.[(((triple3 ((triple5) -> rule1)) -> rule2))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle does not need the lion.
("bald eagle" "needs" "lion" "-")
triple7
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple5
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple6
The cat is green.
("cat" "is" "green" "+")
triple8
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple9
The cat likes the lion.
("cat" "likes" "lion" "+")
triple10
The cat needs the lion.
("cat" "needs" "lion" "+")
triple11
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple12
The lion is round.
("lion" "is" "round" "+")
triple13
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
triple15
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple16
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple5) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
((triple14) -> (rule1 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple3 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2