The bald eagle is young. The cow needs the tiger. The dog is green. The tiger is young. If someone needs the bald eagle and they do not see the tiger then they are young. If someone is young then they chase the tiger. If someone chases the tiger then the tiger is red.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The dog is green.
("dog" "is" "green" "+")
The tiger is young.
("tiger" "is" "young" "+")
If someone needs the bald eagle and they do not see the tiger then they are young.
((("someone" "needs" "bald eagle" "+") ("someone" "sees" "tiger" "~")) -> ("someone" "is" "young" "+"))
If someone is young then they chase the tiger.
((("someone" "is" "young" "+")) -> ("someone" "chases" "tiger" "+"))
If someone chases the tiger then the tiger is red.
((("someone" "chases" "tiger" "+")) -> ("tiger" "is" "red" "+"))
The cow needs the tiger.
True
1
proof
[(triple2)]
("cow" "needs" "tiger" "+")
triple2
The dog is not green.
False
1
inv-proof
[(triple3)]
("dog" "is" "green" "-")
triple3
The tiger chases the tiger.
True
2
proof
[(((triple4) -> rule2))]
("tiger" "chases" "tiger" "+")
((triple4) -> (rule2 % int1))
The tiger chases the tiger.
("tiger" "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 tiger is red.
True
3
proof
[(((((triple1) -> rule2)) -> rule3) OR ((((triple4) -> rule2)) -> rule3))]
("tiger" "is" "red" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The tiger is not red.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule3) OR ((((triple4) -> rule2)) -> rule3))]
("tiger" "is" "red" "-")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The cow does not chase the tiger.
Unknown
inv-rconc
[@2: The cow chases the tiger.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("cow" "chases" "tiger" "-")
The dog chases the tiger.
Unknown
rconc
[@2: The dog chases the tiger.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("dog" "chases" "tiger" "+")
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "young" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
The tiger does not chase the bald eagle.
Unknown
inv-random
[@0: The tiger chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bald eagle" "-")
The dog sees the cow.
Unknown
random
[@0: The dog sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "cow" "+")
@0: The bald eagle is young.[(triple1)] The cow needs the tiger.[(triple2)] The dog is green.[(triple3)] The tiger is young.[(triple4)] @1: The bald eagle chases the tiger.[(((triple1) -> rule2))] The tiger chases the tiger.[(((triple4) -> rule2))] @2: The tiger is red.[(((((triple1) -> rule2)) -> rule3) OR ((((triple4) -> rule2)) -> rule3))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The tiger is young.
("tiger" "is" "young" "+")
triple4
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 tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple4) -> (rule2 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2