The bald eagle is round. The bear eats the rabbit. The dog sees the bear. The rabbit does not see the dog. If something is nice then it does not like the bald eagle. If something eats the dog and the dog is blue then the dog sees the bear. If something sees the bear then the bear sees the rabbit. If the dog sees the bald eagle then the bald eagle is green. Red, nice things are blue. If something likes the rabbit and it does not like the dog then the dog likes the bald eagle. If something sees the bear then it is red. Red things are green.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The rabbit does not see the dog.
("rabbit" "sees" "dog" "-")
If something is nice then it does not like the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "likes" "bald eagle" "-"))
If something eats the dog and the dog is blue then the dog sees the bear.
((("something" "eats" "dog" "+") ("dog" "is" "blue" "+")) -> ("dog" "sees" "bear" "+"))
If something sees the bear then the bear sees the rabbit.
((("something" "sees" "bear" "+")) -> ("bear" "sees" "rabbit" "+"))
If the dog sees the bald eagle then the bald eagle is green.
((("dog" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
Red, nice things are blue.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If something likes the rabbit and it does not like the dog then the dog likes the bald eagle.
((("something" "likes" "rabbit" "+") ("something" "likes" "dog" "~")) -> ("dog" "likes" "bald eagle" "+"))
If something sees the bear then it is red.
((("something" "sees" "bear" "+")) -> ("something" "is" "red" "+"))
Red things are green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
The dog sees the bear.
True
1
proof
[(triple3)]
("dog" "sees" "bear" "+")
triple3
The bald eagle is not round.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "round" "-")
triple1
The dog is red.
True
2
proof
[(((triple3) -> rule7))]
("dog" "is" "red" "+")
((triple3) -> (rule7 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The bear does not see the rabbit.
False
2
inv-proof
[(((triple3) -> rule3))]
("bear" "sees" "rabbit" "-")
((triple3) -> (rule3 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The dog is green.
True
3
proof
[(((((triple3) -> rule7)) -> rule8))]
("dog" "is" "green" "+")
((((triple3) -> (rule7 % int2))) -> (rule8 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is not green.
False
3
inv-proof
[(((((triple3) -> rule7)) -> rule8))]
("dog" "is" "green" "-")
((((triple3) -> (rule7 % int2))) -> (rule8 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The bald eagle is not green.
Unknown
inv-rconc
[@2: The bald eagle is green.[CWA. Example of deepest failure = (rule8 <- rule7 <- FAIL)]]
("bald eagle" "is" "green" "-")
The dog is blue.
Unknown
rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "is" "blue" "+")
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "red" "-")
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" "+")
The bald eagle does not see the dog.
Unknown
inv-random
[@0: The bald eagle sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "dog" "-")
The dog likes the rabbit.
Unknown
random
[@0: The dog likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "rabbit" "+")
@0: The bald eagle is round.[(triple1)] The bear eats the rabbit.[(triple2)] The dog sees the bear.[(triple3)] The rabbit does not see the dog.[(triple4)] @1: The bear sees the rabbit.[(((triple3) -> rule3))] The dog is red.[(((triple3) -> rule7))] @2: The dog is green.[(((((triple3) -> rule7)) -> rule8))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The dog sees the bear.
("dog" "sees" "bear" "+")
triple3
The rabbit does not see the dog.
("rabbit" "sees" "dog" "-")
triple4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
((triple3) -> (rule3 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The dog is red.
("dog" "is" "red" "+")
((triple3) -> (rule7 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is green.
("dog" "is" "green" "+")
((((triple3) -> (rule7 % int2))) -> (rule8 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2