The bald eagle is nice. The bald eagle visits the tiger. The dog chases the bald eagle. The dog is young. The dog needs the bald eagle. The dog does not visit the tiger. The tiger does not chase the bald eagle. If something chases the tiger then it is not green. If something is nice then it chases the tiger.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog does not visit the tiger.
("dog" "visits" "tiger" "-")
The tiger does not chase the bald eagle.
("tiger" "chases" "bald eagle" "-")
If something chases the tiger then it is not green.
((("something" "chases" "tiger" "+")) -> ("something" "is" "green" "-"))
If something is nice then it chases the tiger.
((("something" "is" "nice" "+")) -> ("something" "chases" "tiger" "+"))
The dog does not visit the tiger.
True
1
proof
[(triple6)]
("dog" "visits" "tiger" "-")
triple6
The bald eagle is not nice.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "nice" "-")
triple1
The bald eagle chases the tiger.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "chases" "tiger" "+")
((triple1) -> (rule2 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle does not chase the tiger.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "chases" "tiger" "-")
((triple1) -> (rule2 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle is not green.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("bald eagle" "is" "green" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is not green.
("bald eagle" "is" "green" "-")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The bald eagle is green.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("bald eagle" "is" "green" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is not green.
("bald eagle" "is" "green" "-")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The dog does not chase the tiger.
Unknown
inv-rconc
[@1: The dog chases the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "chases" "tiger" "-")
The tiger chases the tiger.
Unknown
rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "chases" "tiger" "+")
The bald eagle does not need the tiger.
Unknown
inv-random
[@0: The bald eagle needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "tiger" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
The tiger is not green.
Unknown
inv-random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle visits the tiger.[(triple2)] The dog chases the bald eagle.[(triple3)] The dog does not visit the tiger.[(triple6)] The dog is young.[(triple4)] The dog needs the bald eagle.[(triple5)] The tiger does not chase the bald eagle.[(triple7)] @1: The bald eagle chases the tiger.[(((triple1) -> rule2))] @2: The bald eagle is not green.[(((((triple1) -> rule2)) -> rule1))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple3
The dog does not visit the tiger.
("dog" "visits" "tiger" "-")
triple6
The dog is young.
("dog" "is" "young" "+")
triple4
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple5
The tiger does not chase the bald eagle.
("tiger" "chases" "bald eagle" "-")
triple7
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
((triple1) -> (rule2 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle is not green.
("bald eagle" "is" "green" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is not green.
("bald eagle" "is" "green" "-")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2