The bald eagle is nice. The bald eagle is round. The bald eagle sees the dog. The dog chases the rabbit. The dog is nice. The dog sees the bald eagle. The dog sees the mouse. The mouse chases the bald eagle. The mouse chases the dog. The mouse is young. The mouse sees the dog. The rabbit sees the bald eagle. If something visits the rabbit and it visits the mouse then the mouse does not visit the bald eagle. If something is round then it does not chase the mouse. If something sees the bald eagle then the bald eagle is nice. If something sees the rabbit then it is round. If something sees the dog then the dog does not visit the mouse. If the bald eagle sees the rabbit and the bald eagle sees the dog then the bald eagle does not chase the dog. If the mouse chases the bald eagle then the mouse is blue. If something chases the bald eagle then the bald eagle sees the rabbit.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If something visits the rabbit and it visits the mouse then the mouse does not visit the bald eagle.
((("something" "visits" "rabbit" "+") ("something" "visits" "mouse" "+")) -> ("mouse" "visits" "bald eagle" "-"))
If something is round then it does not chase the mouse.
((("something" "is" "round" "+")) -> ("something" "chases" "mouse" "-"))
If something sees the bald eagle then the bald eagle is nice.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
If something sees the rabbit then it is round.
((("something" "sees" "rabbit" "+")) -> ("something" "is" "round" "+"))
If something sees the dog then the dog does not visit the mouse.
((("something" "sees" "dog" "+")) -> ("dog" "visits" "mouse" "-"))
If the bald eagle sees the rabbit and the bald eagle sees the dog then the bald eagle does not chase the dog.
((("bald eagle" "sees" "rabbit" "+") ("bald eagle" "sees" "dog" "+")) -> ("bald eagle" "chases" "dog" "-"))
If the mouse chases the bald eagle then the mouse is blue.
((("mouse" "chases" "bald eagle" "+")) -> ("mouse" "is" "blue" "+"))
If something chases the bald eagle then the bald eagle sees the rabbit.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "sees" "rabbit" "+"))
The dog is nice.
True
1
proof
[(triple5)]
("dog" "is" "nice" "+")
triple5
The dog does not see the mouse.
False
1
inv-proof
[(triple7)]
("dog" "sees" "mouse" "-")
triple7
The mouse is blue.
True
2
proof
[(((triple8) -> rule7))]
("mouse" "is" "blue" "+")
((triple8) -> (rule7 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The bald eagle chases the mouse.
False
2
inv-proof
[(((triple2) -> rule2) OR ((((((triple8) -> rule8)) -> rule4)) -> rule2))]
("bald eagle" "chases" "mouse" "+")
((triple2) -> (rule2 % int1))
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
int1
((((((triple8) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle does not chase the dog.
True
4
proof
[(((((triple8) -> rule8) triple3) -> rule6))]
("bald eagle" "chases" "dog" "-")
((((triple8) -> (rule8 % int2)) triple3) -> (rule6 % int1))
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The bald eagle chases the dog.
False
4
inv-proof
[(((((triple8) -> rule8) triple3) -> rule6))]
("bald eagle" "chases" "dog" "+")
((((triple8) -> (rule8 % int2)) triple3) -> (rule6 % int1))
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "round" "-")
The rabbit is round.
Unknown
rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "round" "+")
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "round" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
The rabbit does not visit the mouse.
Unknown
inv-random
[@0: The rabbit visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "mouse" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The bald eagle is nice.[(triple1 OR ((triple12) -> rule3) OR ((triple6) -> rule3))] The bald eagle is round.[(triple2 OR ((((triple8) -> rule8)) -> rule4))] The bald eagle sees the dog.[(triple3)] The dog chases the rabbit.[(triple4)] The dog is nice.[(triple5)] The dog sees the bald eagle.[(triple6)] The dog sees the mouse.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse chases the dog.[(triple9)] The mouse is young.[(triple10)] The mouse sees the dog.[(triple11)] The rabbit sees the bald eagle.[(triple12)] @1: The bald eagle does not chase the mouse.[(((triple2) -> rule2) OR ((((((triple8) -> rule8)) -> rule4)) -> rule2))] The bald eagle sees the rabbit.[(((triple8) -> rule8))] The dog does not visit the mouse.[(((triple11) -> rule5) OR ((triple3) -> rule5))] The mouse is blue.[(((triple8) -> rule7))] @2: The bald eagle does not chase the dog.[(((((triple8) -> rule8) triple3) -> rule6))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
((triple12) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
((triple6) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
((((triple8) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple3
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple6
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple7
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple8
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple9
The mouse is young.
("mouse" "is" "young" "+")
triple10
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple11
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple12
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
((triple2) -> (rule2 % int1))
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
int1
((((((triple8) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
((triple8) -> (rule8 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The dog does not visit the mouse.
("dog" "visits" "mouse" "-")
((triple11) -> (rule5 % int1))
The dog does not visit the mouse.
("dog" "visits" "mouse" "-")
int1
((triple3) -> (rule5 % int1))
The dog does not visit the mouse.
("dog" "visits" "mouse" "-")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
((triple8) -> (rule7 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
((((triple8) -> (rule8 % int2)) triple3) -> (rule6 % int1))
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2