The bald eagle chases the tiger. The bald eagle is green. The bear chases the rabbit. The bear is green. The bear needs the rabbit. The bear visits the bald eagle. The bear visits the tiger. The rabbit chases the tiger. The rabbit needs the tiger. The rabbit visits the bear. The tiger chases the bear. The tiger visits the bald eagle. If something is green and it visits the bear then it chases the bald eagle. If something visits the bear then the bear is round. If something is round then it chases the bear. If something needs the rabbit and it chases the bear then the bear is kind. If something chases the bear and the bear needs the rabbit then it chases the bald eagle. If something visits the bear and the bear visits the tiger then the bear needs the rabbit. If something chases the bear then the bear chases the tiger. If something is kind and round then it visits the rabbit.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is green.
("bear" "is" "green" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If something is green and it visits the bear then it chases the bald eagle.
((("something" "is" "green" "+") ("something" "visits" "bear" "+")) -> ("something" "chases" "bald eagle" "+"))
If something visits the bear then the bear is round.
((("something" "visits" "bear" "+")) -> ("bear" "is" "round" "+"))
If something is round then it chases the bear.
((("something" "is" "round" "+")) -> ("something" "chases" "bear" "+"))
If something needs the rabbit and it chases the bear then the bear is kind.
((("something" "needs" "rabbit" "+") ("something" "chases" "bear" "+")) -> ("bear" "is" "kind" "+"))
If something chases the bear and the bear needs the rabbit then it chases the bald eagle.
((("something" "chases" "bear" "+") ("bear" "needs" "rabbit" "+")) -> ("something" "chases" "bald eagle" "+"))
If something visits the bear and the bear visits the tiger then the bear needs the rabbit.
((("something" "visits" "bear" "+") ("bear" "visits" "tiger" "+")) -> ("bear" "needs" "rabbit" "+"))
If something chases the bear then the bear chases the tiger.
((("something" "chases" "bear" "+")) -> ("bear" "chases" "tiger" "+"))
If something is kind and round then it visits the rabbit.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "visits" "rabbit" "+"))
The rabbit chases the tiger.
True
1
proof
[(triple8)]
("rabbit" "chases" "tiger" "+")
triple8
The tiger does not visit the bald eagle.
False
1
inv-proof
[(triple12)]
("tiger" "visits" "bald eagle" "-")
triple12
The bear chases the tiger.
True
2
proof
[(((triple11) -> rule7) OR ((((((triple10) -> rule2)) -> rule3)) -> rule7))]
("bear" "chases" "tiger" "+")
((triple11) -> (rule7 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The tiger does not chase the bald eagle.
False
3
inv-proof
[(((triple11 triple5) -> rule5) OR ((triple11 ((triple10 triple7) -> rule6)) -> rule5))]
("tiger" "chases" "bald eagle" "-")
((triple11 triple5) -> (rule5 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
((triple11 ((triple10 triple7) -> (rule6 % int2))) -> (rule5 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int2
The bear chases the bear.
True
3
proof
[(((((triple10) -> rule2)) -> rule3))]
("bear" "chases" "bear" "+")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear does not chase the bear.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule3))]
("bear" "chases" "bear" "-")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear chases the bald eagle.
True
5
proof
[(((((((triple10) -> rule2)) -> rule3) triple5) -> rule5) OR ((((((triple10) -> rule2)) -> rule3) ((triple10 triple7) -> rule6)) -> rule5))]
("bear" "chases" "bald eagle" "+")
((((((triple10) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule5 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((((((triple10) -> (rule2 % int4))) -> (rule3 % int3)) ((triple10 triple7) -> (rule6 % int2))) -> (rule5 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
The bear is round.
("bear" "is" "round" "+")
int4
The bear does not chase the bald eagle.
False
5
inv-proof
[(((((((triple10) -> rule2)) -> rule3) triple5) -> rule5) OR ((((((triple10) -> rule2)) -> rule3) ((triple10 triple7) -> rule6)) -> rule5))]
("bear" "chases" "bald eagle" "-")
((((((triple10) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule5 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((((((triple10) -> (rule2 % int4))) -> (rule3 % int3)) ((triple10 triple7) -> (rule6 % int2))) -> (rule5 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
The bear is round.
("bear" "is" "round" "+")
int4
The rabbit does not chase the bald eagle.
Unknown
inv-rconc
[@2: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("rabbit" "chases" "bald eagle" "-")
The rabbit chases the bear.
Unknown
rconc
[@1: The rabbit chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "chases" "bear" "+")
The bald eagle does not chase the bear.
Unknown
inv-rconc
[@1: The bald eagle chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "chases" "bear" "-")
The tiger visits the rabbit.
Unknown
rconc
[@1: The tiger visits the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "visits" "rabbit" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The rabbit is not rough.
Unknown
inv-random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is green.[(triple2)] The bear chases the rabbit.[(triple3)] The bear is green.[(triple4)] The bear needs the rabbit.[(triple5 OR ((triple10 triple7) -> rule6))] The bear visits the bald eagle.[(triple6)] The bear visits the tiger.[(triple7)] The rabbit chases the tiger.[(triple8)] The rabbit needs the tiger.[(triple9)] The rabbit visits the bear.[(triple10)] The tiger chases the bear.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The bear chases the tiger.[(((triple11) -> rule7) OR ((((((triple10) -> rule2)) -> rule3)) -> rule7))] The bear is round.[(((triple10) -> rule2))] The tiger chases the bald eagle.[(((triple11 triple5) -> rule5) OR ((triple11 ((triple10 triple7) -> rule6)) -> rule5))] @2: The bear chases the bear.[(((((triple10) -> rule2)) -> rule3))] @3: The bear chases the bald eagle.[(((((((triple10) -> rule2)) -> rule3) triple5) -> rule5) OR ((((((triple10) -> rule2)) -> rule3) ((triple10 triple7) -> rule6)) -> rule5))] The bear is kind.[(((triple5 ((((triple10) -> rule2)) -> rule3)) -> rule4) OR ((((triple10 triple7) -> rule6) ((((triple10) -> rule2)) -> rule3)) -> rule4))] @4: The bear visits the rabbit.[(((((triple5 ((((triple10) -> rule2)) -> rule3)) -> rule4) ((triple10) -> rule2)) -> rule8) OR ((((((triple10 triple7) -> rule6) ((((triple10) -> rule2)) -> rule3)) -> rule4) ((triple10) -> rule2)) -> rule8))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple4
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple5
((triple10 triple7) -> (rule6 % int1))
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple6
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple7
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple8
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple9
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple10
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple11
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple12
The bear chases the tiger.
("bear" "chases" "tiger" "+")
((triple11) -> (rule7 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The bear is round.
("bear" "is" "round" "+")
((triple10) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
((triple11 triple5) -> (rule5 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
((triple11 ((triple10 triple7) -> (rule6 % int2))) -> (rule5 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
((((((triple10) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule5 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((((((triple10) -> (rule2 % int4))) -> (rule3 % int3)) ((triple10 triple7) -> (rule6 % int2))) -> (rule5 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
The bear is round.
("bear" "is" "round" "+")
int4
The bear is kind.
("bear" "is" "kind" "+")
((triple5 ((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((((triple10 triple7) -> (rule6 % int4)) ((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int4
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
((((triple5 ((((triple10) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) ((triple10) -> (rule2 % int4))) -> (rule8 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
The bear is round.
("bear" "is" "round" "+")
int4
((((((triple10 triple7) -> (rule6 % int5)) ((((triple10) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) ((triple10) -> (rule2 % int4))) -> (rule8 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
The bear is round.
("bear" "is" "round" "+")
int4
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int5