The bald eagle chases the cat. The bald eagle chases the cow. The bald eagle is rough. The bald eagle visits the bear. The bald eagle visits the cat. The bear chases the cat. The bear likes the bald eagle. The bear does not like the cow. The bear visits the bald eagle. The bear does not visit the cat. The cat chases the bald eagle. The cat does not visit the bald eagle. The cow is not big. The cow is kind. The cow visits the bear. The cow visits the cat. All round, rough things are kind. If something is green then it visits the cat. If something chases the cow and the cow is kind then it is round. If something is kind then it visits the cow. If something likes the bear and it is not kind then it does not visit the cow. If something chases the bear and the bear visits the cow then the bear does not chase the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear does not like the cow.
("bear" "likes" "cow" "-")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear does not visit the cat.
("bear" "visits" "cat" "-")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
The cow is not big.
("cow" "is" "big" "-")
The cow is kind.
("cow" "is" "kind" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
All round, rough things are kind.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is green then it visits the cat.
((("something" "is" "green" "+")) -> ("something" "visits" "cat" "+"))
If something chases the cow and the cow is kind then it is round.
((("something" "chases" "cow" "+") ("cow" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If something is kind then it visits the cow.
((("something" "is" "kind" "+")) -> ("something" "visits" "cow" "+"))
If something likes the bear and it is not kind then it does not visit the cow.
((("something" "likes" "bear" "+") ("something" "is" "kind" "~")) -> ("something" "visits" "cow" "-"))
If something chases the bear and the bear visits the cow then the bear does not chase the cat.
((("something" "chases" "bear" "+") ("bear" "visits" "cow" "+")) -> ("bear" "chases" "cat" "-"))
The bald eagle chases the cat.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle does not visit the cat.
False
1
inv-proof
[(triple5)]
("bald eagle" "visits" "cat" "-")
triple5
The bald eagle is round.
True
3
proof
[(((triple2 triple14) -> rule3))]
("bald eagle" "is" "round" "+")
((triple2 triple14) -> (rule3 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cow does not visit the cow.
False
2
inv-proof
[(((triple14) -> rule4))]
("cow" "visits" "cow" "-")
((triple14) -> (rule4 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The bald eagle is kind.
True
5
proof
[(((((triple2 triple14) -> rule3) triple3) -> rule1))]
("bald eagle" "is" "kind" "+")
((((triple2 triple14) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle is not kind.
False
5
inv-proof
[(((((triple2 triple14) -> rule3) triple3) -> rule1))]
("bald eagle" "is" "kind" "-")
((((triple2 triple14) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle visits the cow.
True
6
proof
[(((((((triple2 triple14) -> rule3) triple3) -> rule1)) -> rule4))]
("bald eagle" "visits" "cow" "+")
((((((triple2 triple14) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The bald eagle does not visit the cow.
False
6
inv-proof
[(((((((triple2 triple14) -> rule3) triple3) -> rule1)) -> rule4))]
("bald eagle" "visits" "cow" "-")
((((((triple2 triple14) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "round" "-")
The cat visits the cat.
Unknown
rconc
[@1: The cat visits the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "visits" "cat" "+")
The bear does not visit the cow.
Unknown
inv-rconc
[@2: The bear visits the cow.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("bear" "visits" "cow" "-")
The cat is kind.
Unknown
rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "kind" "+")
The cow does not chase the bear.
Unknown
inv-random
[@0: The cow chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bear" "-")
The cat likes the bald eagle.
Unknown
random
[@0: The cat likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bald eagle" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the cow.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle visits the bear.[(triple4)] The bald eagle visits the cat.[(triple5)] The bear chases the cat.[(triple6)] The bear does not like the cow.[(triple8)] The bear does not visit the cat.[(triple10)] The bear likes the bald eagle.[(triple7)] The bear visits the bald eagle.[(triple9)] The cat chases the bald eagle.[(triple11)] The cat does not visit the bald eagle.[(triple12)] The cow is kind.[(triple14)] The cow is not big.[(triple13)] The cow visits the bear.[(triple15)] The cow visits the cat.[(triple16)] @1: The bald eagle is round.[(((triple2 triple14) -> rule3))] The cow visits the cow.[(((triple14) -> rule4))] @2: The bald eagle is kind.[(((((triple2 triple14) -> rule3) triple3) -> rule1))] @3: The bald eagle visits the cow.[(((((((triple2 triple14) -> rule3) triple3) -> rule1)) -> rule4))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple5
The bear chases the cat.
("bear" "chases" "cat" "+")
triple6
The bear does not like the cow.
("bear" "likes" "cow" "-")
triple8
The bear does not visit the cat.
("bear" "visits" "cat" "-")
triple10
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple7
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple9
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple11
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
triple12
The cow is kind.
("cow" "is" "kind" "+")
triple14
The cow is not big.
("cow" "is" "big" "-")
triple13
The cow visits the bear.
("cow" "visits" "bear" "+")
triple15
The cow visits the cat.
("cow" "visits" "cat" "+")
triple16
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple2 triple14) -> (rule3 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple14) -> (rule4 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((triple2 triple14) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
((((((triple2 triple14) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3