The bald eagle sees the dog. The bald eagle sees the rabbit. The bald eagle visits the bear. The bear is kind. The bear is rough. The bear likes the rabbit. The bear sees the bald eagle. The bear visits the rabbit. The dog sees the bear. The rabbit sees the bear. If the rabbit likes the bald eagle then the rabbit is kind. If something is blue then it likes the dog. If the bear likes the bald eagle and the bear likes the rabbit then the rabbit likes the bald eagle. If something sees the bald eagle then it likes the bald eagle. If something is nice then it sees the bald eagle. If something sees the bear then it likes the dog. If something sees the bald eagle then it likes the dog. Blue things are round.
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
If the rabbit likes the bald eagle then the rabbit is kind.
((("rabbit" "likes" "bald eagle" "+")) -> ("rabbit" "is" "kind" "+"))
If something is blue then it likes the dog.
((("something" "is" "blue" "+")) -> ("something" "likes" "dog" "+"))
If the bear likes the bald eagle and the bear likes the rabbit then the rabbit likes the bald eagle.
((("bear" "likes" "bald eagle" "+") ("bear" "likes" "rabbit" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
If something sees the bald eagle then it likes the bald eagle.
((("something" "sees" "bald eagle" "+")) -> ("something" "likes" "bald eagle" "+"))
If something is nice then it sees the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "sees" "bald eagle" "+"))
If something sees the bear then it likes the dog.
((("something" "sees" "bear" "+")) -> ("something" "likes" "dog" "+"))
If something sees the bald eagle then it likes the dog.
((("something" "sees" "bald eagle" "+")) -> ("something" "likes" "dog" "+"))
Blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
The bald eagle visits the bear.
True
1
proof
[(triple3)]
("bald eagle" "visits" "bear" "+")
triple3
The bear does not see the bald eagle.
False
1
inv-proof
[(triple7)]
("bear" "sees" "bald eagle" "-")
triple7
The rabbit likes the dog.
True
2
proof
[(((triple10) -> rule6))]
("rabbit" "likes" "dog" "+")
((triple10) -> (rule6 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit does not like the dog.
False
2
inv-proof
[(((triple10) -> rule6))]
("rabbit" "likes" "dog" "-")
((triple10) -> (rule6 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit likes the bald eagle.
True
4
proof
[(((((triple7) -> rule4) triple6) -> rule3))]
("rabbit" "likes" "bald eagle" "+")
((((triple7) -> (rule4 % int2)) triple6) -> (rule3 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The rabbit does not like the bald eagle.
False
4
inv-proof
[(((((triple7) -> rule4) triple6) -> rule3))]
("rabbit" "likes" "bald eagle" "-")
((((triple7) -> (rule4 % int2)) triple6) -> (rule3 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The rabbit is kind.
True
5
proof
[(((((((triple7) -> rule4) triple6) -> rule3)) -> rule1))]
("rabbit" "is" "kind" "+")
((((((triple7) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The rabbit is not kind.
False
5
inv-proof
[(((((((triple7) -> rule4) triple6) -> rule3)) -> rule1))]
("rabbit" "is" "kind" "-")
((((((triple7) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bald eagle does not like the dog.
Unknown
inv-rconc
[@2: The bald eagle likes the dog.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("bald eagle" "likes" "dog" "-")
The bald eagle sees the bald eagle.
Unknown
rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "is" "round" "-")
The dog sees the bald eagle.
Unknown
rconc
[@1: The dog sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "sees" "bald eagle" "+")
The dog does not like the rabbit.
Unknown
inv-random
[@0: The dog likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "rabbit" "-")
The rabbit visits the bear.
Unknown
random
[@0: The rabbit visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "bear" "+")
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The bear visits the bald eagle.
Unknown
random
[@0: The bear visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bald eagle" "+")
@0: The bald eagle sees the dog.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear is kind.[(triple4)] The bear is rough.[(triple5)] The bear likes the rabbit.[(triple6)] The bear sees the bald eagle.[(triple7)] The bear visits the rabbit.[(triple8)] The dog sees the bear.[(triple9)] The rabbit sees the bear.[(triple10)] @1: The bear likes the bald eagle.[(((triple7) -> rule4))] The bear likes the dog.[(((triple7) -> rule7))] The dog likes the dog.[(((triple9) -> rule6))] The rabbit likes the dog.[(((triple10) -> rule6))] @2: The rabbit likes the bald eagle.[(((((triple7) -> rule4) triple6) -> rule3))] @3: The rabbit is kind.[(((((((triple7) -> rule4) triple6) -> rule3)) -> rule1))]
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple6
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple7
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple8
The dog sees the bear.
("dog" "sees" "bear" "+")
triple9
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple10
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((triple7) -> (rule4 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
((triple7) -> (rule7 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple9) -> (rule6 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
((triple10) -> (rule6 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
((((triple7) -> (rule4 % int2)) triple6) -> (rule3 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
((((((triple7) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3