The bald eagle visits the bear. The bear sees the rabbit. The bear visits the dog. The dog needs the rabbit. The rabbit is rough. The rabbit needs the bald eagle. The rabbit visits the bear. If something is rough and it sees the bear then the bear needs the rabbit. If something sees the rabbit then the rabbit is blue. All blue things are kind. If something needs the bear and it sees the rabbit then the bear visits the dog. If something needs the rabbit then the rabbit visits the bear. If something is big then it visits the rabbit. If something sees the rabbit and the rabbit sees the bald eagle then it sees the dog. If something is kind then it visits the bald eagle.
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If something is rough and it sees the bear then the bear needs the rabbit.
((("something" "is" "rough" "+") ("something" "sees" "bear" "+")) -> ("bear" "needs" "rabbit" "+"))
If something sees the rabbit then the rabbit is blue.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "is" "blue" "+"))
All blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If something needs the bear and it sees the rabbit then the bear visits the dog.
((("something" "needs" "bear" "+") ("something" "sees" "rabbit" "+")) -> ("bear" "visits" "dog" "+"))
If something needs the rabbit then the rabbit visits the bear.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "visits" "bear" "+"))
If something is big then it visits the rabbit.
((("something" "is" "big" "+")) -> ("something" "visits" "rabbit" "+"))
If something sees the rabbit and the rabbit sees the bald eagle then it sees the dog.
((("something" "sees" "rabbit" "+") ("rabbit" "sees" "bald eagle" "+")) -> ("something" "sees" "dog" "+"))
If something is kind then it visits the bald eagle.
((("something" "is" "kind" "+")) -> ("something" "visits" "bald eagle" "+"))
The bald eagle visits the bear.
True
1
proof
[(triple1)]
("bald eagle" "visits" "bear" "+")
triple1
The bear does not visit the dog.
False
1
inv-proof
[(triple3)]
("bear" "visits" "dog" "-")
triple3
The rabbit is blue.
True
2
proof
[(((triple2) -> rule2))]
("rabbit" "is" "blue" "+")
((triple2) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is not blue.
False
2
inv-proof
[(((triple2) -> rule2))]
("rabbit" "is" "blue" "-")
((triple2) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is kind.
True
3
proof
[(((((triple2) -> rule2)) -> rule3))]
("rabbit" "is" "kind" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is not kind.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule3))]
("rabbit" "is" "kind" "-")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit visits the bald eagle.
True
4
proof
[(((((((triple2) -> rule2)) -> rule3)) -> rule8))]
("rabbit" "visits" "bald eagle" "+")
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The rabbit does not visit the bald eagle.
False
4
inv-proof
[(((((((triple2) -> rule2)) -> rule3)) -> rule8))]
("rabbit" "visits" "bald eagle" "-")
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The dog is not kind.
Unknown
inv-rconc
[@1: The dog is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "kind" "-")
The bear visits the rabbit.
Unknown
rconc
[@1: The bear visits the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "visits" "rabbit" "+")
The bald eagle does not visit the rabbit.
Unknown
inv-rconc
[@1: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "visits" "rabbit" "-")
The bear is kind.
Unknown
rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "kind" "+")
The rabbit does not see the bear.
Unknown
inv-random
[@0: The rabbit sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "bear" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
The rabbit is not big.
Unknown
inv-random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "-")
The bald eagle needs the dog.
Unknown
random
[@0: The bald eagle needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "dog" "+")
@0: The bald eagle visits the bear.[(triple1)] The bear sees the rabbit.[(triple2)] The bear visits the dog.[(triple3)] The dog needs the rabbit.[(triple4)] The rabbit is rough.[(triple5)] The rabbit needs the bald eagle.[(triple6)] The rabbit visits the bear.[(triple7 OR ((triple4) -> rule5))] @1: The rabbit is blue.[(((triple2) -> rule2))] @2: The rabbit is kind.[(((((triple2) -> rule2)) -> rule3))] @3: The rabbit visits the bald eagle.[(((((((triple2) -> rule2)) -> rule3)) -> rule8))]
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple2
The bear visits the dog.
("bear" "visits" "dog" "+")
triple3
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple4
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple5
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple6
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple7
((triple4) -> (rule5 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple2) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3