The bald eagle is nice. The bear chases the lion. The bear eats the lion. The bear is nice. The bear visits the bald eagle. The dog is nice. The dog is rough. The lion chases the bald eagle. The lion chases the bear. The lion visits the bear. If something is nice then it visits the lion. Round things are nice. If something is nice then it chases the bald eagle. If something chases the dog and it eats the dog then it is rough. If something visits the bald eagle and the bald eagle visits the lion then it is big. If something eats the dog and the dog eats the bald eagle then the dog is red.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
If something is nice then it visits the lion.
((("something" "is" "nice" "+")) -> ("something" "visits" "lion" "+"))
Round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something is nice then it chases the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "chases" "bald eagle" "+"))
If something chases the dog and it eats the dog then it is rough.
((("something" "chases" "dog" "+") ("something" "eats" "dog" "+")) -> ("something" "is" "rough" "+"))
If something visits the bald eagle and the bald eagle visits the lion then it is big.
((("something" "visits" "bald eagle" "+") ("bald eagle" "visits" "lion" "+")) -> ("something" "is" "big" "+"))
If something eats the dog and the dog eats the bald eagle then the dog is red.
((("something" "eats" "dog" "+") ("dog" "eats" "bald eagle" "+")) -> ("dog" "is" "red" "+"))
The bear visits the bald eagle.
True
1
proof
[(triple5)]
("bear" "visits" "bald eagle" "+")
triple5
The dog is not nice.
False
1
inv-proof
[(triple6)]
("dog" "is" "nice" "-")
triple6
The dog visits the lion.
True
2
proof
[(((triple6) -> rule1))]
("dog" "visits" "lion" "+")
((triple6) -> (rule1 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The bald eagle does not chase the bald eagle.
False
2
inv-proof
[(((triple1) -> rule3))]
("bald eagle" "chases" "bald eagle" "-")
((triple1) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bear is big.
True
4
proof
[(((triple5 ((triple1) -> rule1)) -> rule5))]
("bear" "is" "big" "+")
((triple5 ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int2
The bear is not big.
False
4
inv-proof
[(((triple5 ((triple1) -> rule1)) -> rule5))]
("bear" "is" "big" "-")
((triple5 ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int2
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "rough" "-")
The lion visits the lion.
Unknown
rconc
[@2: The lion visits the lion.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("lion" "visits" "lion" "+")
The lion is not nice.
Unknown
inv-rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "nice" "-")
The dog visits the bear.
Unknown
random
[@0: The dog visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bear" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The bald eagle eats the dog.
Unknown
random
[@0: The bald eagle eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "dog" "+")
@0: The bald eagle is nice.[(triple1)] The bear chases the lion.[(triple2)] The bear eats the lion.[(triple3)] The bear is nice.[(triple4)] The bear visits the bald eagle.[(triple5)] The dog is nice.[(triple6)] The dog is rough.[(triple7)] The lion chases the bald eagle.[(triple8)] The lion chases the bear.[(triple9)] The lion visits the bear.[(triple10)] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule3))] The bald eagle visits the lion.[(((triple1) -> rule1))] The bear chases the bald eagle.[(((triple4) -> rule3))] The bear visits the lion.[(((triple4) -> rule1))] The dog chases the bald eagle.[(((triple6) -> rule3))] The dog visits the lion.[(((triple6) -> rule1))] @2: The bear is big.[(((triple5 ((triple1) -> rule1)) -> rule5))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bear chases the lion.
("bear" "chases" "lion" "+")
triple2
The bear eats the lion.
("bear" "eats" "lion" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple5
The dog is nice.
("dog" "is" "nice" "+")
triple6
The dog is rough.
("dog" "is" "rough" "+")
triple7
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple8
The lion chases the bear.
("lion" "chases" "bear" "+")
triple9
The lion visits the bear.
("lion" "visits" "bear" "+")
triple10
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
((triple1) -> (rule1 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
((triple4) -> (rule3 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear visits the lion.
("bear" "visits" "lion" "+")
((triple4) -> (rule1 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
((triple6) -> (rule3 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
((triple6) -> (rule1 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The bear is big.
("bear" "is" "big" "+")
((triple5 ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int2