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