The bald eagle eats the dog. The bald eagle is big. The bald eagle is nice. The bald eagle sees the dog. The dog is big. The dog sees the bald eagle. The dog sees the mouse. The mouse chases the dog. The mouse chases the rabbit. The mouse eats the bald eagle. The mouse eats the rabbit. The mouse sees the bald eagle. The mouse sees the dog. The mouse sees the rabbit. The rabbit chases the dog. If someone is kind then they chase the rabbit. If someone is kind and they see the bald eagle then they chase the bald eagle. If someone is nice and they see the dog then the dog chases the rabbit. If someone sees the dog and they see the mouse then they are nice. If the dog eats the rabbit then the dog eats the mouse. If someone chases the dog then the dog eats the rabbit.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
If someone is kind then they chase the rabbit.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone is kind and they see the bald eagle then they chase the bald eagle.
((("someone" "is" "kind" "+") ("someone" "sees" "bald eagle" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is nice and they see the dog then the dog chases the rabbit.
((("someone" "is" "nice" "+") ("someone" "sees" "dog" "+")) -> ("dog" "chases" "rabbit" "+"))
If someone sees the dog and they see the mouse then they are nice.
((("someone" "sees" "dog" "+") ("someone" "sees" "mouse" "+")) -> ("someone" "is" "nice" "+"))
If the dog eats the rabbit then the dog eats the mouse.
((("dog" "eats" "rabbit" "+")) -> ("dog" "eats" "mouse" "+"))
If someone chases the dog then the dog eats the rabbit.
((("someone" "chases" "dog" "+")) -> ("dog" "eats" "rabbit" "+"))
The mouse sees the rabbit.
True
1
proof
[(triple14)]
("mouse" "sees" "rabbit" "+")
triple14
The dog does not see the mouse.
False
1
inv-proof
[(triple7)]
("dog" "sees" "mouse" "-")
triple7
The dog eats the rabbit.
True
2
proof
[(((triple15) -> rule6) OR ((triple8) -> rule6))]
("dog" "eats" "rabbit" "+")
((triple15) -> (rule6 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
((triple8) -> (rule6 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog does not eat the rabbit.
False
2
inv-proof
[(((triple15) -> rule6) OR ((triple8) -> rule6))]
("dog" "eats" "rabbit" "-")
((triple15) -> (rule6 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
((triple8) -> (rule6 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog eats the mouse.
True
3
proof
[(((((triple15) -> rule6)) -> rule5) OR ((((triple8) -> rule6)) -> rule5))]
("dog" "eats" "mouse" "+")
((((triple15) -> (rule6 % int2))) -> (rule5 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
((((triple8) -> (rule6 % int2))) -> (rule5 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The dog does not eat the mouse.
False
3
inv-proof
[(((((triple15) -> rule6)) -> rule5) OR ((((triple8) -> rule6)) -> rule5))]
("dog" "eats" "mouse" "-")
((((triple15) -> (rule6 % int2))) -> (rule5 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
((((triple8) -> (rule6 % int2))) -> (rule5 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "nice" "-")
The bald eagle chases the rabbit.
Unknown
rconc
[@1: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "rabbit" "+")
The mouse does not chase the bald eagle.
Unknown
inv-rconc
[@1: The mouse chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "chases" "bald eagle" "-")
The bald eagle chases the mouse.
Unknown
random
[@0: The bald eagle chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "mouse" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle sees the dog.[(triple4)] The dog is big.[(triple5)] The dog sees the bald eagle.[(triple6)] The dog sees the mouse.[(triple7)] The mouse chases the dog.[(triple8)] The mouse chases the rabbit.[(triple9)] The mouse eats the bald eagle.[(triple10)] The mouse eats the rabbit.[(triple11)] The mouse sees the bald eagle.[(triple12)] The mouse sees the dog.[(triple13)] The mouse sees the rabbit.[(triple14)] The rabbit chases the dog.[(triple15)] @1: The dog chases the rabbit.[(((triple3 triple4) -> rule3))] The dog eats the rabbit.[(((triple15) -> rule6) OR ((triple8) -> rule6))] @2: The dog eats the mouse.[(((((triple15) -> rule6)) -> rule5) OR ((((triple8) -> rule6)) -> rule5))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple4
The dog is big.
("dog" "is" "big" "+")
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 dog.
("mouse" "chases" "dog" "+")
triple8
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple9
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple10
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple11
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple12
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple13
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple14
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple15
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
((triple3 triple4) -> (rule3 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
((triple15) -> (rule6 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
((triple8) -> (rule6 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
((((triple15) -> (rule6 % int2))) -> (rule5 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
((((triple8) -> (rule6 % int2))) -> (rule5 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2