The bald eagle is big. The bald eagle is rough. The cow chases the bald eagle. The cow is big. The cow does not see the bald eagle. The cow sees the tiger. The cow does not visit the tiger. The lion sees the tiger. The lion does not visit the bald eagle. The lion visits the cow. The lion visits the tiger. The tiger chases the cow. The tiger chases the lion. The tiger is not rough. The tiger sees the bald eagle. If the lion visits the tiger and the lion sees the cow then the lion sees the bald eagle. If the tiger is round and the tiger visits the lion then the lion chases the bald eagle. If something visits the cow then it is big. If something is round then it visits the bald eagle. If something is red then it does not chase the lion. If something is big then it sees the cow.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is big.
("cow" "is" "big" "+")
The cow does not see the bald eagle.
("cow" "sees" "bald eagle" "-")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The cow does not visit the tiger.
("cow" "visits" "tiger" "-")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The lion does not visit the bald eagle.
("lion" "visits" "bald eagle" "-")
The lion visits the cow.
("lion" "visits" "cow" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If the lion visits the tiger and the lion sees the cow then the lion sees the bald eagle.
((("lion" "visits" "tiger" "+") ("lion" "sees" "cow" "+")) -> ("lion" "sees" "bald eagle" "+"))
If the tiger is round and the tiger visits the lion then the lion chases the bald eagle.
((("tiger" "is" "round" "+") ("tiger" "visits" "lion" "+")) -> ("lion" "chases" "bald eagle" "+"))
If something visits the cow then it is big.
((("something" "visits" "cow" "+")) -> ("something" "is" "big" "+"))
If something is round then it visits the bald eagle.
((("something" "is" "round" "+")) -> ("something" "visits" "bald eagle" "+"))
If something is red then it does not chase the lion.
((("something" "is" "red" "+")) -> ("something" "chases" "lion" "-"))
If something is big then it sees the cow.
((("something" "is" "big" "+")) -> ("something" "sees" "cow" "+"))
The tiger sees the bald eagle.
True
1
proof
[(triple15)]
("tiger" "sees" "bald eagle" "+")
triple15
The cow does not chase the bald eagle.
False
1
inv-proof
[(triple3)]
("cow" "chases" "bald eagle" "-")
triple3
The lion is big.
True
2
proof
[(((triple10) -> rule3))]
("lion" "is" "big" "+")
((triple10) -> (rule3 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is not big.
False
2
inv-proof
[(((triple10) -> rule3))]
("lion" "is" "big" "-")
((triple10) -> (rule3 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion sees the cow.
True
3
proof
[(((((triple10) -> rule3)) -> rule6))]
("lion" "sees" "cow" "+")
((((triple10) -> (rule3 % int2))) -> (rule6 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The lion does not see the cow.
False
3
inv-proof
[(((((triple10) -> rule3)) -> rule6))]
("lion" "sees" "cow" "-")
((((triple10) -> (rule3 % int2))) -> (rule6 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The cow does not visit the bald eagle.
Unknown
inv-rconc
[@1: The cow visits the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "visits" "bald eagle" "-")
The lion chases the bald eagle.
Unknown
rconc
[@1: The lion chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "chases" "bald eagle" "+")
The tiger is not big.
Unknown
inv-rconc
[@1: The tiger is big.[CWA. Example of deepest failure = (rule3 <- 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 bald eagle does not chase the lion.
Unknown
inv-random
[@0: The bald eagle chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "lion" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is rough.[(triple2)] The cow chases the bald eagle.[(triple3)] The cow does not see the bald eagle.[(triple5)] The cow does not visit the tiger.[(triple7)] The cow is big.[(triple4)] The cow sees the tiger.[(triple6)] The lion does not visit the bald eagle.[(triple9)] The lion sees the tiger.[(triple8)] The lion visits the cow.[(triple10)] The lion visits the tiger.[(triple11)] The tiger chases the cow.[(triple12)] The tiger chases the lion.[(triple13)] The tiger is not rough.[(triple14)] The tiger sees the bald eagle.[(triple15)] @1: The bald eagle sees the cow.[(((triple1) -> rule6))] The cow sees the cow.[(((triple4) -> rule6))] The lion is big.[(((triple10) -> rule3))] @2: The lion sees the cow.[(((((triple10) -> rule3)) -> rule6))] @3: The lion sees the bald eagle.[(((triple11 ((((triple10) -> rule3)) -> rule6)) -> rule1))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple3
The cow does not see the bald eagle.
("cow" "sees" "bald eagle" "-")
triple5
The cow does not visit the tiger.
("cow" "visits" "tiger" "-")
triple7
The cow is big.
("cow" "is" "big" "+")
triple4
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple6
The lion does not visit the bald eagle.
("lion" "visits" "bald eagle" "-")
triple9
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple8
The lion visits the cow.
("lion" "visits" "cow" "+")
triple10
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple11
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple12
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple13
The tiger is not rough.
("tiger" "is" "rough" "-")
triple14
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple15
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
((triple1) -> (rule6 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple4) -> (rule6 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The lion is big.
("lion" "is" "big" "+")
((triple10) -> (rule3 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
((((triple10) -> (rule3 % int2))) -> (rule6 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
((triple11 ((((triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The lion is big.
("lion" "is" "big" "+")
int3