The bear is cold. The cat visits the mouse. The cow chases the bear. The cow is big. The cow is kind. The mouse chases the bear. The mouse needs the bear. The mouse needs the cat. The mouse needs the cow. The mouse visits the bear. If something chases the cat and it chases the cow then it needs the bear. If something needs the cow and the cow is cold then it visits the mouse. If something needs the cow then the cow visits the bear. If something chases the bear then the bear chases the cow. If something is kind then it visits the mouse. If something is red and it visits the bear then it chases the mouse. If something visits the bear then it is cold. If something visits the cat then it needs the mouse.
The bear is cold.
("bear" "is" "cold" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is kind.
("cow" "is" "kind" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If something chases the cat and it chases the cow then it needs the bear.
((("something" "chases" "cat" "+") ("something" "chases" "cow" "+")) -> ("something" "needs" "bear" "+"))
If something needs the cow and the cow is cold then it visits the mouse.
((("something" "needs" "cow" "+") ("cow" "is" "cold" "+")) -> ("something" "visits" "mouse" "+"))
If something needs the cow then the cow visits the bear.
((("something" "needs" "cow" "+")) -> ("cow" "visits" "bear" "+"))
If something chases the bear then the bear chases the cow.
((("something" "chases" "bear" "+")) -> ("bear" "chases" "cow" "+"))
If something is kind then it visits the mouse.
((("something" "is" "kind" "+")) -> ("something" "visits" "mouse" "+"))
If something is red and it visits the bear then it chases the mouse.
((("something" "is" "red" "+") ("something" "visits" "bear" "+")) -> ("something" "chases" "mouse" "+"))
If something visits the bear then it is cold.
((("something" "visits" "bear" "+")) -> ("something" "is" "cold" "+"))
If something visits the cat then it needs the mouse.
((("something" "visits" "cat" "+")) -> ("something" "needs" "mouse" "+"))
The cow is big.
True
1
proof
[(triple4)]
("cow" "is" "big" "+")
triple4
The mouse does not chase the bear.
False
1
inv-proof
[(triple6)]
("mouse" "chases" "bear" "-")
triple6
The cow visits the bear.
True
2
proof
[(((triple9) -> rule3))]
("cow" "visits" "bear" "+")
((triple9) -> (rule3 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The mouse is not cold.
False
2
inv-proof
[(((triple10) -> rule7))]
("mouse" "is" "cold" "-")
((triple10) -> (rule7 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The cow is cold.
True
3
proof
[(((((triple9) -> rule3)) -> rule7))]
("cow" "is" "cold" "+")
((((triple9) -> (rule3 % int2))) -> (rule7 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
int2
The cow is not cold.
False
3
inv-proof
[(((((triple9) -> rule3)) -> rule7))]
("cow" "is" "cold" "-")
((((triple9) -> (rule3 % int2))) -> (rule7 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
int2
The bear does not need the mouse.
Unknown
inv-rconc
[@1: The bear needs the mouse.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "needs" "mouse" "-")
The cow needs the mouse.
Unknown
rconc
[@1: The cow needs the mouse.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "needs" "mouse" "+")
The cow does not need the bear.
Unknown
inv-rconc
[@1: The cow needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "needs" "bear" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
The cat does not visit the bear.
Unknown
inv-random
[@0: The cat visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bear" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
@0: The bear is cold.[(triple1)] The cat visits the mouse.[(triple2)] The cow chases the bear.[(triple3)] The cow is big.[(triple4)] The cow is kind.[(triple5)] The mouse chases the bear.[(triple6)] The mouse needs the bear.[(triple7)] The mouse needs the cat.[(triple8)] The mouse needs the cow.[(triple9)] The mouse visits the bear.[(triple10)] @1: The bear chases the cow.[(((triple3) -> rule4) OR ((triple6) -> rule4))] The cow visits the bear.[(((triple9) -> rule3))] The cow visits the mouse.[(((triple5) -> rule5))] The mouse is cold.[(((triple10) -> rule7))] @2: The cow is cold.[(((((triple9) -> rule3)) -> rule7))] @3: The mouse visits the mouse.[(((triple9 ((((triple9) -> rule3)) -> rule7)) -> rule2))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple2
The cow chases the bear.
("cow" "chases" "bear" "+")
triple3
The cow is big.
("cow" "is" "big" "+")
triple4
The cow is kind.
("cow" "is" "kind" "+")
triple5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple6
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple7
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple8
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple9
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple10
The bear chases the cow.
("bear" "chases" "cow" "+")
((triple3) -> (rule4 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
((triple6) -> (rule4 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
((triple9) -> (rule3 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow visits the mouse.
("cow" "visits" "mouse" "+")
((triple5) -> (rule5 % int1))
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
((triple10) -> (rule7 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
((((triple9) -> (rule3 % int2))) -> (rule7 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((triple9 ((((triple9) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow visits the bear.
("cow" "visits" "bear" "+")
int3