The bald eagle is cold. The bald eagle sees the rabbit. The bald eagle visits the bear. The bald eagle visits the rabbit. The bear is blue. The bear is cold. The bear is young. The bear sees the bald eagle. The rabbit is red. The rabbit is young. The rabbit sees the bear. The rabbit visits the bear. If someone is cold then they see the bear. If the bald eagle is cold then the bald eagle visits the rabbit. If someone is cold and young then they like the rabbit. If someone is blue then they visit the bald eagle. If the rabbit visits the bear and the bear likes the rabbit then the bear visits the rabbit. If someone visits the bald eagle then they see the bald eagle. If someone visits the bald eagle and they visit the rabbit then the rabbit is blue. If someone visits the bear then the bear is red.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If someone is cold then they see the bear.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "bear" "+"))
If the bald eagle is cold then the bald eagle visits the rabbit.
((("bald eagle" "is" "cold" "+")) -> ("bald eagle" "visits" "rabbit" "+"))
If someone is cold and young then they like the rabbit.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone is blue then they visit the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the rabbit visits the bear and the bear likes the rabbit then the bear visits the rabbit.
((("rabbit" "visits" "bear" "+") ("bear" "likes" "rabbit" "+")) -> ("bear" "visits" "rabbit" "+"))
If someone visits the bald eagle then they see the bald eagle.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone visits the bald eagle and they visit the rabbit then the rabbit is blue.
((("someone" "visits" "bald eagle" "+") ("someone" "visits" "rabbit" "+")) -> ("rabbit" "is" "blue" "+"))
If someone visits the bear then the bear is red.
((("someone" "visits" "bear" "+")) -> ("bear" "is" "red" "+"))
The bear is blue.
True
1
proof
[(triple5)]
("bear" "is" "blue" "+")
triple5
The rabbit is not red.
False
1
inv-proof
[(triple9)]
("rabbit" "is" "red" "-")
triple9
The bear is red.
True
2
proof
[(((triple12) -> rule8) OR ((triple3) -> rule8))]
("bear" "is" "red" "+")
((triple12) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((triple3) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear does not like the rabbit.
False
3
inv-proof
[(((triple6 triple7) -> rule3))]
("bear" "likes" "rabbit" "-")
((triple6 triple7) -> (rule3 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The bear visits the rabbit.
True
5
proof
[(((triple12 ((triple6 triple7) -> rule3)) -> rule5))]
("bear" "visits" "rabbit" "+")
((triple12 ((triple6 triple7) -> (rule3 % int2))) -> (rule5 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int2
The bear does not visit the rabbit.
False
5
inv-proof
[(((triple12 ((triple6 triple7) -> rule3)) -> rule5))]
("bear" "visits" "rabbit" "-")
((triple12 ((triple6 triple7) -> (rule3 % int2))) -> (rule5 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int2
The bald eagle does not like the rabbit.
Unknown
inv-rconc
[@1: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "rabbit" "-")
The bald eagle sees the bald eagle.
Unknown
rconc
[@2: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The rabbit likes the bald eagle.
Unknown
random
[@0: The rabbit likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bald eagle" "+")
The rabbit is not rough.
Unknown
inv-random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The bald eagle visits the bear.[(triple3)] The bald eagle visits the rabbit.[(triple4 OR ((triple1) -> rule2))] The bear is blue.[(triple5)] The bear is cold.[(triple6)] The bear is young.[(triple7)] The bear sees the bald eagle.[(triple8 OR ((((triple5) -> rule4)) -> rule6))] The rabbit is red.[(triple9)] The rabbit is young.[(triple10)] The rabbit sees the bear.[(triple11)] The rabbit visits the bear.[(triple12)] @1: The bald eagle sees the bear.[(((triple1) -> rule1))] The bear is red.[(((triple12) -> rule8) OR ((triple3) -> rule8))] The bear likes the rabbit.[(((triple6 triple7) -> rule3))] The bear sees the bear.[(((triple6) -> rule1))] The bear visits the bald eagle.[(((triple5) -> rule4))] @2: The bear visits the rabbit.[(((triple12 ((triple6 triple7) -> rule3)) -> rule5))] @3: The rabbit is blue.[(((((triple5) -> rule4) ((triple12 ((triple6 triple7) -> rule3)) -> rule5)) -> rule7))] @4: The rabbit visits the bald eagle.[(((((((triple5) -> rule4) ((triple12 ((triple6 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule4))] @5: The rabbit sees the bald eagle.[(((((((((triple5) -> rule4) ((triple12 ((triple6 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule4)) -> rule6))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple4
((triple1) -> (rule2 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
triple5
The bear is cold.
("bear" "is" "cold" "+")
triple6
The bear is young.
("bear" "is" "young" "+")
triple7
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple8
((((triple5) -> (rule4 % int2))) -> (rule6 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
triple9
The rabbit is young.
("rabbit" "is" "young" "+")
triple10
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple11
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple12
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((triple1) -> (rule1 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
((triple12) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((triple3) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
((triple6 triple7) -> (rule3 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple6) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
((triple5) -> (rule4 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
((triple12 ((triple6 triple7) -> (rule3 % int2))) -> (rule5 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
((((triple5) -> (rule4 % int4)) ((triple12 ((triple6 triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int3
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int4
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
((((((triple5) -> (rule4 % int5)) ((triple12 ((triple6 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int4
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int5
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((((((((triple5) -> (rule4 % int6)) ((triple12 ((triple6 triple7) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int4
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int5
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int6