The bald eagle is cold. The bald eagle is red. The bald eagle is young. The bald eagle visits the cow. The cow visits the bald eagle. The rabbit is young. The rabbit visits the bald eagle. If something visits the cow and the cow sees the rabbit then it eats the cow. If something sees the bald eagle and it sees the cow then the cow visits the bald eagle. If something sees the bald eagle then it is rough. If something sees the bald eagle and it sees the cow then the bald eagle is young. If something visits the rabbit then the rabbit sees the bald eagle. If something sees the bald eagle and the bald eagle is young then it is cold. If something eats the cow and the cow is round then the cow is young. If something is cold then it visits the rabbit.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If something visits the cow and the cow sees the rabbit then it eats the cow.
((("something" "visits" "cow" "+") ("cow" "sees" "rabbit" "+")) -> ("something" "eats" "cow" "+"))
If something sees the bald eagle and it sees the cow then the cow visits the bald eagle.
((("something" "sees" "bald eagle" "+") ("something" "sees" "cow" "+")) -> ("cow" "visits" "bald eagle" "+"))
If something sees the bald eagle then it is rough.
((("something" "sees" "bald eagle" "+")) -> ("something" "is" "rough" "+"))
If something sees the bald eagle and it sees the cow then the bald eagle is young.
((("something" "sees" "bald eagle" "+") ("something" "sees" "cow" "+")) -> ("bald eagle" "is" "young" "+"))
If something visits the rabbit then the rabbit sees the bald eagle.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
If something sees the bald eagle and the bald eagle is young then it is cold.
((("something" "sees" "bald eagle" "+") ("bald eagle" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If something eats the cow and the cow is round then the cow is young.
((("something" "eats" "cow" "+") ("cow" "is" "round" "+")) -> ("cow" "is" "young" "+"))
If something is cold then it visits the rabbit.
((("something" "is" "cold" "+")) -> ("something" "visits" "rabbit" "+"))
The bald eagle visits the cow.
True
1
proof
[(triple4)]
("bald eagle" "visits" "cow" "+")
triple4
The rabbit does not visit the bald eagle.
False
1
inv-proof
[(triple7)]
("rabbit" "visits" "bald eagle" "-")
triple7
The bald eagle visits the rabbit.
True
2
proof
[(((triple1) -> rule8))]
("bald eagle" "visits" "rabbit" "+")
((triple1) -> (rule8 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle does not visit the rabbit.
False
2
inv-proof
[(((triple1) -> rule8))]
("bald eagle" "visits" "rabbit" "-")
((triple1) -> (rule8 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The rabbit sees the bald eagle.
True
3
proof
[(((((triple1) -> rule8)) -> rule5))]
("rabbit" "sees" "bald eagle" "+")
((((triple1) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The rabbit does not see the bald eagle.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule5))]
("rabbit" "sees" "bald eagle" "-")
((((triple1) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The rabbit is cold.
True
5
proof
[(((((((triple1) -> rule8)) -> rule5) triple3) -> rule6))]
("rabbit" "is" "cold" "+")
((((((triple1) -> (rule8 % int3))) -> (rule5 % int2)) triple3) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The rabbit is not cold.
False
5
inv-proof
[(((((((triple1) -> rule8)) -> rule5) triple3) -> rule6))]
("rabbit" "is" "cold" "-")
((((((triple1) -> (rule8 % int3))) -> (rule5 % int2)) triple3) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "cow" "-")
The bald eagle eats the cow.
Unknown
rconc
[@1: The bald eagle eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "cow" "+")
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "is" "young" "-")
The cow is rough.
Unknown
rconc
[@1: The cow is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "rough" "+")
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The cow eats the bald eagle.
Unknown
random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the cow.[(triple4)] The cow visits the bald eagle.[(triple5)] The rabbit is young.[(triple6)] The rabbit visits the bald eagle.[(triple7)] @1: The bald eagle visits the rabbit.[(((triple1) -> rule8))] @2: The rabbit sees the bald eagle.[(((((triple1) -> rule8)) -> rule5))] @3: The rabbit is cold.[(((((((triple1) -> rule8)) -> rule5) triple3) -> rule6))] The rabbit is rough.[(((((((triple1) -> rule8)) -> rule5)) -> rule3))] @4: The rabbit visits the rabbit.[(((((((((triple1) -> rule8)) -> rule5) triple3) -> rule6)) -> rule8))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple4
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple5
The rabbit is young.
("rabbit" "is" "young" "+")
triple6
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple7
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
((triple1) -> (rule8 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((((triple1) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
((((((triple1) -> (rule8 % int3))) -> (rule5 % int2)) triple3) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
((((((triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((((((((triple1) -> (rule8 % int4))) -> (rule5 % int3)) triple3) -> (rule6 % int2))) -> (rule8 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4