The bald eagle is green. The bear is big. The cow eats the bald eagle. The dog is nice. If someone is big then they need the bear. If someone needs the bear then they chase the bald eagle.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bear is big.
("bear" "is" "big" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The dog is nice.
("dog" "is" "nice" "+")
If someone is big then they need the bear.
((("someone" "is" "big" "+")) -> ("someone" "needs" "bear" "+"))
If someone needs the bear then they chase the bald eagle.
((("someone" "needs" "bear" "+")) -> ("someone" "chases" "bald eagle" "+"))
The dog is nice.
True
1
proof
[(triple4)]
("dog" "is" "nice" "+")
triple4
The dog is not nice.
False
1
inv-proof
[(triple4)]
("dog" "is" "nice" "-")
triple4
The bear needs the bear.
True
2
proof
[(((triple2) -> rule1))]
("bear" "needs" "bear" "+")
((triple2) -> (rule1 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear does not need the bear.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "needs" "bear" "-")
((triple2) -> (rule1 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear chases the bald eagle.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("bear" "chases" "bald eagle" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear does not chase the bald eagle.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("bear" "chases" "bald eagle" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@2: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The dog chases the bald eagle.
Unknown
rconc
[@2: The dog chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("dog" "chases" "bald eagle" "+")
The dog does not need the bear.
Unknown
inv-rconc
[@1: The dog needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "bear" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
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 is green.[(triple1)] The bear is big.[(triple2)] The cow eats the bald eagle.[(triple3)] The dog is nice.[(triple4)] @1: The bear needs the bear.[(((triple2) -> rule1))] @2: The bear chases the bald eagle.[(((((triple2) -> rule1)) -> rule2))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple2) -> (rule1 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2