The bald eagle is blue. The bald eagle is nice. The bald eagle sees the rabbit. The cow is not blue. The cow visits the rabbit. The rabbit chases the bald eagle. The rabbit chases the cow. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit sees the bald eagle. The rabbit visits the bald eagle. If something visits the cow then it visits the bald eagle. If something is nice then it visits the cow. If the bald eagle visits the cow and the cow chases the bald eagle then the cow is blue. If the bald eagle visits the cow then the cow sees the bald eagle. If something is blue and it chases the cow then it is big. If the bald eagle visits the cow then the bald eagle chases the cow.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The cow is not blue.
("cow" "is" "blue" "-")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If something visits the cow then it visits the bald eagle.
((("something" "visits" "cow" "+")) -> ("something" "visits" "bald eagle" "+"))
If something is nice then it visits the cow.
((("something" "is" "nice" "+")) -> ("something" "visits" "cow" "+"))
If the bald eagle visits the cow and the cow chases the bald eagle then the cow is blue.
((("bald eagle" "visits" "cow" "+") ("cow" "chases" "bald eagle" "+")) -> ("cow" "is" "blue" "+"))
If the bald eagle visits the cow then the cow sees the bald eagle.
((("bald eagle" "visits" "cow" "+")) -> ("cow" "sees" "bald eagle" "+"))
If something is blue and it chases the cow then it is big.
((("something" "is" "blue" "+") ("something" "chases" "cow" "+")) -> ("something" "is" "big" "+"))
If the bald eagle visits the cow then the bald eagle chases the cow.
((("bald eagle" "visits" "cow" "+")) -> ("bald eagle" "chases" "cow" "+"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The rabbit is not nice.
False
1
inv-proof
[(triple9)]
("rabbit" "is" "nice" "-")
triple9
The rabbit visits the cow.
True
2
proof
[(((triple9) -> rule2))]
("rabbit" "visits" "cow" "+")
((triple9) -> (rule2 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The bald eagle does not visit the cow.
False
2
inv-proof
[(((triple2) -> rule2))]
("bald eagle" "visits" "cow" "-")
((triple2) -> (rule2 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle chases the cow.
True
3
proof
[(((((triple2) -> rule2)) -> rule6))]
("bald eagle" "chases" "cow" "+")
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The bald eagle does not visit the bald eagle.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("bald eagle" "visits" "bald eagle" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The bald eagle is big.
True
5
proof
[(((triple1 ((((triple2) -> rule2)) -> rule6)) -> rule5))]
("bald eagle" "is" "big" "+")
((triple1 ((((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int3
The bald eagle is not big.
False
5
inv-proof
[(((triple1 ((((triple2) -> rule2)) -> rule6)) -> rule5))]
("bald eagle" "is" "big" "-")
((triple1 ((((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int3
The cow does not visit the bald eagle.
Unknown
inv-rconc
[@2: The cow visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("cow" "visits" "bald eagle" "-")
The cow is big.
Unknown
rconc
[@1: The cow is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "big" "+")
The cow does not visit the cow.
Unknown
inv-rconc
[@1: The cow visits the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "visits" "cow" "-")
The rabbit is big.
Unknown
rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "big" "+")
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
The cow is not nice.
Unknown
inv-random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The cow is not blue.[(triple4)] The cow visits the rabbit.[(triple5)] The rabbit chases the bald eagle.[(triple6)] The rabbit chases the cow.[(triple7)] The rabbit is kind.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is red.[(triple10)] The rabbit sees the bald eagle.[(triple11)] The rabbit visits the bald eagle.[(triple12 OR ((((triple9) -> rule2)) -> rule1))] @1: The bald eagle visits the cow.[(((triple2) -> rule2))] The rabbit visits the cow.[(((triple9) -> rule2))] @2: The bald eagle chases the cow.[(((((triple2) -> rule2)) -> rule6))] The bald eagle visits the bald eagle.[(((((triple2) -> rule2)) -> rule1))] The cow sees the bald eagle.[(((((triple2) -> rule2)) -> rule4))] @3: The bald eagle is big.[(((triple1 ((((triple2) -> rule2)) -> rule6)) -> rule5))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple3
The cow is not blue.
("cow" "is" "blue" "-")
triple4
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple5
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple6
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple7
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple8
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple9
The rabbit is red.
("rabbit" "is" "red" "+")
triple10
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple11
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple12
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
((triple2) -> (rule2 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
((triple9) -> (rule2 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple1 ((((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int3