The bald eagle is blue. The bear chases the rabbit. The bear eats the rabbit. The bear is red. The rabbit chases the bald eagle. The rabbit is blue. The rabbit is rough. If the bear sees the rabbit then the bear is young. If something is red and it chases the rabbit then the rabbit is blue. If the rabbit is rough and the rabbit is blue then the rabbit is young. If something sees the bear and it is blue then the bear does not chase the rabbit. If something chases the bear then the bear sees the rabbit. If something sees the rabbit then the rabbit eats the bald eagle. If the rabbit is young then the rabbit chases the bear. If something chases the bear and it does not eat the bald eagle then the bald eagle is rough.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is red.
("bear" "is" "red" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
If the bear sees the rabbit then the bear is young.
((("bear" "sees" "rabbit" "+")) -> ("bear" "is" "young" "+"))
If something is red and it chases the rabbit then the rabbit is blue.
((("something" "is" "red" "+") ("something" "chases" "rabbit" "+")) -> ("rabbit" "is" "blue" "+"))
If the rabbit is rough and the rabbit is blue then the rabbit is young.
((("rabbit" "is" "rough" "+") ("rabbit" "is" "blue" "+")) -> ("rabbit" "is" "young" "+"))
If something sees the bear and it is blue then the bear does not chase the rabbit.
((("something" "sees" "bear" "+") ("something" "is" "blue" "+")) -> ("bear" "chases" "rabbit" "-"))
If something chases the bear then the bear sees the rabbit.
((("something" "chases" "bear" "+")) -> ("bear" "sees" "rabbit" "+"))
If something sees the rabbit then the rabbit eats the bald eagle.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "eats" "bald eagle" "+"))
If the rabbit is young then the rabbit chases the bear.
((("rabbit" "is" "young" "+")) -> ("rabbit" "chases" "bear" "+"))
If something chases the bear and it does not eat the bald eagle then the bald eagle is rough.
((("something" "chases" "bear" "+") ("something" "eats" "bald eagle" "~")) -> ("bald eagle" "is" "rough" "+"))
The bear eats the rabbit.
True
1
proof
[(triple3)]
("bear" "eats" "rabbit" "+")
triple3
The bear does not chase the rabbit.
False
1
inv-proof
[(triple2)]
("bear" "chases" "rabbit" "-")
triple2
The rabbit is young.
True
3
proof
[(((triple7 triple6) -> rule3) OR ((triple7 ((triple4 triple2) -> rule2)) -> rule3))]
("rabbit" "is" "young" "+")
((triple7 triple6) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
((triple7 ((triple4 triple2) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is not young.
False
3
inv-proof
[(((triple7 triple6) -> rule3) OR ((triple7 ((triple4 triple2) -> rule2)) -> rule3))]
("rabbit" "is" "young" "-")
((triple7 triple6) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
((triple7 ((triple4 triple2) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit chases the bear.
True
4
proof
[(((((triple7 triple6) -> rule3)) -> rule7) OR ((((triple7 ((triple4 triple2) -> rule2)) -> rule3)) -> rule7))]
("rabbit" "chases" "bear" "+")
((((triple7 triple6) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
((((triple7 ((triple4 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The rabbit does not chase the bear.
False
4
inv-proof
[(((((triple7 triple6) -> rule3)) -> rule7) OR ((((triple7 ((triple4 triple2) -> rule2)) -> rule3)) -> rule7))]
("rabbit" "chases" "bear" "-")
((((triple7 triple6) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
((((triple7 ((triple4 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The bear sees the rabbit.
True
5
proof
[(((((((triple7 triple6) -> rule3)) -> rule7)) -> rule5) OR ((((((triple7 ((triple4 triple2) -> rule2)) -> rule3)) -> rule7)) -> rule5))]
("bear" "sees" "rabbit" "+")
((((((triple7 triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
((((((triple7 ((triple4 triple2) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
The bear does not see the rabbit.
False
5
inv-proof
[(((((((triple7 triple6) -> rule3)) -> rule7)) -> rule5) OR ((((((triple7 ((triple4 triple2) -> rule2)) -> rule3)) -> rule7)) -> rule5))]
("bear" "sees" "rabbit" "-")
((((((triple7 triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
((((((triple7 ((triple4 triple2) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle eats the bear.
Unknown
random
[@0: The bald eagle eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bear" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The bear sees the bald eagle.
Unknown
random
[@0: The bear sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bald eagle" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
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 blue.[(triple1)] The bear chases the rabbit.[(triple2)] The bear eats the rabbit.[(triple3)] The bear is red.[(triple4)] The rabbit chases the bald eagle.[(triple5)] The rabbit is blue.[(triple6 OR ((triple4 triple2) -> rule2))] The rabbit is rough.[(triple7)] @1: The rabbit is young.[(((triple7 triple6) -> rule3) OR ((triple7 ((triple4 triple2) -> rule2)) -> rule3))] @2: The rabbit chases the bear.[(((((triple7 triple6) -> rule3)) -> rule7) OR ((((triple7 ((triple4 triple2) -> rule2)) -> rule3)) -> rule7))] @3: The bear sees the rabbit.[(((((((triple7 triple6) -> rule3)) -> rule7)) -> rule5) OR ((((((triple7 ((triple4 triple2) -> rule2)) -> rule3)) -> rule7)) -> rule5))] @4: The bear is young.[(((((((((triple7 triple6) -> rule3)) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple7 ((triple4 triple2) -> rule2)) -> rule3)) -> rule7)) -> rule5)) -> rule1))] The rabbit eats the bald eagle.[(((((((((triple7 triple6) -> rule3)) -> rule7)) -> rule5)) -> rule6) OR ((((((((triple7 ((triple4 triple2) -> rule2)) -> rule3)) -> rule7)) -> rule5)) -> rule6))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple5
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple6
((triple4 triple2) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple7
The rabbit is young.
("rabbit" "is" "young" "+")
((triple7 triple6) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
((triple7 ((triple4 triple2) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((((triple7 triple6) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
((((triple7 ((triple4 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
((((((triple7 triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
((((((triple7 ((triple4 triple2) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
The bear is young.
("bear" "is" "young" "+")
((((((((triple7 triple6) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int3
The rabbit is young.
("rabbit" "is" "young" "+")
int4
((((((((triple7 ((triple4 triple2) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int3
The rabbit is young.
("rabbit" "is" "young" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
((((((((triple7 triple6) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int3
The rabbit is young.
("rabbit" "is" "young" "+")
int4
((((((((triple7 ((triple4 triple2) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int3
The rabbit is young.
("rabbit" "is" "young" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5