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