The bald eagle chases the tiger. The bald eagle is blue. The bald eagle is nice. The bald eagle is young. The rabbit is blue. The rabbit is nice. The tiger chases the bald eagle. The tiger chases the rabbit. The tiger needs the bald eagle. The tiger sees the rabbit. If something is young then it needs the tiger. If something sees the rabbit and the rabbit sees the tiger then the tiger is rough. If something needs the tiger and it chases the bald eagle then it chases the rabbit. If something is big then it chases the tiger. If something chases the rabbit and it chases the bald eagle then the rabbit sees the bald eagle. If something needs the tiger and it is young then it sees the tiger. If something sees the tiger then it chases the rabbit. If something chases the rabbit and the rabbit chases the bald eagle then it sees the rabbit.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If something is young then it needs the tiger.
((("something" "is" "young" "+")) -> ("something" "needs" "tiger" "+"))
If something sees the rabbit and the rabbit sees the tiger then the tiger is rough.
((("something" "sees" "rabbit" "+") ("rabbit" "sees" "tiger" "+")) -> ("tiger" "is" "rough" "+"))
If something needs the tiger and it chases the bald eagle then it chases the rabbit.
((("something" "needs" "tiger" "+") ("something" "chases" "bald eagle" "+")) -> ("something" "chases" "rabbit" "+"))
If something is big then it chases the tiger.
((("something" "is" "big" "+")) -> ("something" "chases" "tiger" "+"))
If something chases the rabbit and it chases the bald eagle then the rabbit sees the bald eagle.
((("something" "chases" "rabbit" "+") ("something" "chases" "bald eagle" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
If something needs the tiger and it is young then it sees the tiger.
((("something" "needs" "tiger" "+") ("something" "is" "young" "+")) -> ("something" "sees" "tiger" "+"))
If something sees the tiger then it chases the rabbit.
((("something" "sees" "tiger" "+")) -> ("something" "chases" "rabbit" "+"))
If something chases the rabbit and the rabbit chases the bald eagle then it sees the rabbit.
((("something" "chases" "rabbit" "+") ("rabbit" "chases" "bald eagle" "+")) -> ("something" "sees" "rabbit" "+"))
The bald eagle is young.
True
1
proof
[(triple4)]
("bald eagle" "is" "young" "+")
triple4
The bald eagle is not young.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "young" "-")
triple4
The rabbit sees the bald eagle.
True
3
proof
[(((triple8 triple7) -> rule5))]
("rabbit" "sees" "bald eagle" "+")
((triple8 triple7) -> (rule5 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit does not see the bald eagle.
False
3
inv-proof
[(((triple8 triple7) -> rule5))]
("rabbit" "sees" "bald eagle" "-")
((triple8 triple7) -> (rule5 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle sees the tiger.
True
4
proof
[(((((triple4) -> rule1) triple4) -> rule6))]
("bald eagle" "sees" "tiger" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule6 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int2
The bald eagle does not see the tiger.
False
4
inv-proof
[(((((triple4) -> rule1) triple4) -> rule6))]
("bald eagle" "sees" "tiger" "-")
((((triple4) -> (rule1 % int2)) triple4) -> (rule6 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int2
The bald eagle chases the rabbit.
True
5
proof
[(((((((triple4) -> rule1) triple4) -> rule6)) -> rule7))]
("bald eagle" "chases" "rabbit" "+")
((((((triple4) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int3
The bald eagle does not chase the rabbit.
False
5
inv-proof
[(((((((triple4) -> rule1) triple4) -> rule6)) -> rule7))]
("bald eagle" "chases" "rabbit" "-")
((((((triple4) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int3
The tiger does not see the tiger.
Unknown
inv-rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The tiger needs the tiger.
Unknown
rconc
[@1: The tiger needs the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "needs" "tiger" "+")
The rabbit does not see the rabbit.
Unknown
inv-rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "sees" "rabbit" "-")
The tiger is rough.
Unknown
rconc
[@2: The tiger is rough.[CWA. Example of deepest failure = (rule2 <- rule8 <- FAIL)]]
("tiger" "is" "rough" "+")
The tiger does not need the rabbit.
Unknown
inv-random
[@0: The tiger needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "rabbit" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
The rabbit is not big.
Unknown
inv-random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "-")
The bald eagle needs the rabbit.
Unknown
random
[@0: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "rabbit" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is young.[(triple4)] The rabbit is blue.[(triple5)] The rabbit is nice.[(triple6)] The tiger chases the bald eagle.[(triple7)] The tiger chases the rabbit.[(triple8)] The tiger needs the bald eagle.[(triple9)] The tiger sees the rabbit.[(triple10)] @1: The bald eagle needs the tiger.[(((triple4) -> rule1))] The rabbit sees the bald eagle.[(((triple8 triple7) -> rule5))] @2: The bald eagle sees the tiger.[(((((triple4) -> rule1) triple4) -> rule6))] @3: The bald eagle chases the rabbit.[(((((((triple4) -> rule1) triple4) -> rule6)) -> rule7))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple5
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple6
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple7
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple8
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple9
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple10
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
((triple4) -> (rule1 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((triple8 triple7) -> (rule5 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule6 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((((((triple4) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int3