The bald eagle chases the rabbit. The bald eagle needs the rabbit. The dog is round. The mouse eats the bald eagle. The mouse is big. The rabbit eats the dog. The rabbit is young. If something eats the rabbit then it chases the rabbit. If something eats the dog and the dog is round then the dog is nice. If the rabbit is big then the rabbit is green. If something needs the rabbit then the rabbit is green. If something is nice then it chases the bald eagle. If something needs the rabbit then the rabbit is green. If something needs the mouse then the mouse chases the bald eagle. If something chases the bald eagle and it eats the mouse then the mouse chases the rabbit.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The dog is round.
("dog" "is" "round" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is big.
("mouse" "is" "big" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
If something eats the rabbit then it chases the rabbit.
((("something" "eats" "rabbit" "+")) -> ("something" "chases" "rabbit" "+"))
If something eats the dog and the dog is round then the dog is nice.
((("something" "eats" "dog" "+") ("dog" "is" "round" "+")) -> ("dog" "is" "nice" "+"))
If the rabbit is big then the rabbit is green.
((("rabbit" "is" "big" "+")) -> ("rabbit" "is" "green" "+"))
If something needs the rabbit then the rabbit is green.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "is" "green" "+"))
If something is nice then it chases the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "chases" "bald eagle" "+"))
If something needs the rabbit then the rabbit is green.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "is" "green" "+"))
If something needs the mouse then the mouse chases the bald eagle.
((("something" "needs" "mouse" "+")) -> ("mouse" "chases" "bald eagle" "+"))
If something chases the bald eagle and it eats the mouse then the mouse chases the rabbit.
((("something" "chases" "bald eagle" "+") ("something" "eats" "mouse" "+")) -> ("mouse" "chases" "rabbit" "+"))
The dog is round.
True
1
proof
[(triple3)]
("dog" "is" "round" "+")
triple3
The mouse does not eat the bald eagle.
False
1
inv-proof
[(triple4)]
("mouse" "eats" "bald eagle" "-")
triple4
The dog is nice.
True
3
proof
[(((triple6 triple3) -> rule2))]
("dog" "is" "nice" "+")
((triple6 triple3) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is not nice.
False
3
inv-proof
[(((triple6 triple3) -> rule2))]
("dog" "is" "nice" "-")
((triple6 triple3) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog chases the bald eagle.
True
4
proof
[(((((triple6 triple3) -> rule2)) -> rule5))]
("dog" "chases" "bald eagle" "+")
((((triple6 triple3) -> (rule2 % int2))) -> (rule5 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog does not chase the bald eagle.
False
4
inv-proof
[(((((triple6 triple3) -> rule2)) -> rule5))]
("dog" "chases" "bald eagle" "-")
((((triple6 triple3) -> (rule2 % int2))) -> (rule5 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The mouse does not chase the bald eagle.
Unknown
inv-rconc
[@1: The mouse chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "chases" "bald eagle" "-")
The rabbit chases the rabbit.
Unknown
rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "rabbit" "+")
The mouse does not chase the rabbit.
Unknown
inv-rconc
[@1: The mouse chases the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "chases" "rabbit" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
The dog is not young.
Unknown
inv-random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "-")
The dog eats the bald eagle.
Unknown
random
[@0: The dog eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bald eagle" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The dog is round.[(triple3)] The mouse eats the bald eagle.[(triple4)] The mouse is big.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit is young.[(triple7)] @1: The dog is nice.[(((triple6 triple3) -> rule2))] The rabbit is green.[(((triple2) -> rule4) OR ((triple2) -> rule6))] @2: The dog chases the bald eagle.[(((((triple6 triple3) -> rule2)) -> rule5))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple4
The mouse is big.
("mouse" "is" "big" "+")
triple5
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple6
The rabbit is young.
("rabbit" "is" "young" "+")
triple7
The dog is nice.
("dog" "is" "nice" "+")
((triple6 triple3) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
((triple2) -> (rule4 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
((triple2) -> (rule6 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
((((triple6 triple3) -> (rule2 % int2))) -> (rule5 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2