The cat is cold. The cat is rough. The cat visits the cow. The cow eats the cat. The cow is green. The cow is young. The cow sees the mouse. The cow visits the mouse. The mouse is rough. The mouse sees the cat. If someone is cold then they are young. If someone visits the mouse and the mouse is cold then the mouse eats the cow. If someone visits the cat then the cat eats the mouse. If the cat eats the mouse then the cat sees the cow. If someone is young and they visit the cat then they are cold. If someone visits the cow then the cow eats the mouse. All rough people are green. If someone eats the cat and they see the cat then the cat eats the mouse.
The cat is cold.
("cat" "is" "cold" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone visits the mouse and the mouse is cold then the mouse eats the cow.
((("someone" "visits" "mouse" "+") ("mouse" "is" "cold" "+")) -> ("mouse" "eats" "cow" "+"))
If someone visits the cat then the cat eats the mouse.
((("someone" "visits" "cat" "+")) -> ("cat" "eats" "mouse" "+"))
If the cat eats the mouse then the cat sees the cow.
((("cat" "eats" "mouse" "+")) -> ("cat" "sees" "cow" "+"))
If someone is young and they visit the cat then they are cold.
((("someone" "is" "young" "+") ("someone" "visits" "cat" "+")) -> ("someone" "is" "cold" "+"))
If someone visits the cow then the cow eats the mouse.
((("someone" "visits" "cow" "+")) -> ("cow" "eats" "mouse" "+"))
All rough people are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone eats the cat and they see the cat then the cat eats the mouse.
((("someone" "eats" "cat" "+") ("someone" "sees" "cat" "+")) -> ("cat" "eats" "mouse" "+"))
The cat visits the cow.
True
1
proof
[(triple3)]
("cat" "visits" "cow" "+")
triple3
The cat is not cold.
False
1
inv-proof
[(triple1)]
("cat" "is" "cold" "-")
triple1
The cat does not see the cow.
Unknown
inv-rconc
[@2: The cat sees the cow.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("cat" "sees" "cow" "-")
The mouse sees the cow.
Unknown
random
[@0: The mouse sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "cow" "+")
@0: The cat is cold.[(triple1)] The cat is rough.[(triple2)] The cat visits the cow.[(triple3)] The cow eats the cat.[(triple4)] The cow is green.[(triple5)] The cow is young.[(triple6)] The cow sees the mouse.[(triple7)] The cow visits the mouse.[(triple8)] The mouse is rough.[(triple9)] The mouse sees the cat.[(triple10)] @1: The cat is green.[(((triple2) -> rule7))] The cat is young.[(((triple1) -> rule1))] The cow eats the mouse.[(((triple3) -> rule6))] The mouse is green.[(((triple9) -> rule7))]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The cat is rough.
("cat" "is" "rough" "+")
triple2
The cat visits the cow.
("cat" "visits" "cow" "+")
triple3
The cow eats the cat.
("cow" "eats" "cat" "+")
triple4
The cow is green.
("cow" "is" "green" "+")
triple5
The cow is young.
("cow" "is" "young" "+")
triple6
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple7
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple8
The mouse is rough.
("mouse" "is" "rough" "+")
triple9
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple10
The cat is green.
("cat" "is" "green" "+")
((triple2) -> (rule7 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is young.
("cat" "is" "young" "+")
((triple1) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
((triple3) -> (rule6 % int1))
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
((triple9) -> (rule7 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1