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