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