The bald eagle is kind. The dog eats the mouse. The dog is green. The dog is kind. The dog sees the mouse. The dog visits the bald eagle. The dog visits the mouse. The mouse sees the bald eagle. The mouse visits the bald eagle. The mouse visits the dog. If something visits the dog and it is nice then the dog is nice. If the mouse eats the dog then the mouse sees the bald eagle. If something sees the dog then the dog does not visit the bald eagle. If something visits the dog then the dog eats the mouse. If something visits the dog then it visits the mouse. If something visits the mouse then it is green.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If something visits the dog and it is nice then the dog is nice.
((("something" "visits" "dog" "+") ("something" "is" "nice" "+")) -> ("dog" "is" "nice" "+"))
If the mouse eats the dog then the mouse sees the bald eagle.
((("mouse" "eats" "dog" "+")) -> ("mouse" "sees" "bald eagle" "+"))
If something sees the dog then the dog does not visit the bald eagle.
((("something" "sees" "dog" "+")) -> ("dog" "visits" "bald eagle" "-"))
If something visits the dog then the dog eats the mouse.
((("something" "visits" "dog" "+")) -> ("dog" "eats" "mouse" "+"))
If something visits the dog then it visits the mouse.
((("something" "visits" "dog" "+")) -> ("something" "visits" "mouse" "+"))
If something visits the mouse then it is green.
((("something" "visits" "mouse" "+")) -> ("something" "is" "green" "+"))
The mouse sees the bald eagle.
True
1
proof
[(triple8)]
("mouse" "sees" "bald eagle" "+")
triple8
The mouse does not visit the bald eagle.
False
1
inv-proof
[(triple9)]
("mouse" "visits" "bald eagle" "-")
triple9
The mouse visits the mouse.
True
2
proof
[(((triple10) -> rule5))]
("mouse" "visits" "mouse" "+")
((triple10) -> (rule5 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse does not visit the mouse.
False
2
inv-proof
[(((triple10) -> rule5))]
("mouse" "visits" "mouse" "-")
((triple10) -> (rule5 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is green.
True
3
proof
[(((((triple10) -> rule5)) -> rule6))]
("mouse" "is" "green" "+")
((((triple10) -> (rule5 % int2))) -> (rule6 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse is not green.
False
3
inv-proof
[(((((triple10) -> rule5)) -> rule6))]
("mouse" "is" "green" "-")
((((triple10) -> (rule5 % int2))) -> (rule6 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The bald eagle is not green.
Unknown
inv-rconc
[@2: The bald eagle is green.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("bald eagle" "is" "green" "-")
The bald eagle visits the mouse.
Unknown
rconc
[@1: The bald eagle visits the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "visits" "mouse" "+")
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "nice" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "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 mouse eats the bald eagle.
Unknown
random
[@0: The mouse eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bald eagle" "+")
@0: The bald eagle is kind.[(triple1)] The dog eats the mouse.[(triple2 OR ((triple10) -> rule4))] The dog is green.[(triple3 OR ((triple7) -> rule6))] The dog is kind.[(triple4)] The dog sees the mouse.[(triple5)] The dog visits the bald eagle.[(triple6)] The dog visits the mouse.[(triple7)] The mouse sees the bald eagle.[(triple8)] The mouse visits the bald eagle.[(triple9)] The mouse visits the dog.[(triple10)] @1: The mouse visits the mouse.[(((triple10) -> rule5))] @2: The mouse is green.[(((((triple10) -> rule5)) -> rule6))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple2
((triple10) -> (rule4 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog is green.
("dog" "is" "green" "+")
triple3
((triple7) -> (rule6 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple5
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple6
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple7
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple8
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple9
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple10
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((triple10) -> (rule5 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
((((triple10) -> (rule5 % int2))) -> (rule6 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2