The cow is cold. The cow is red. The cow is young. The cow visits the rabbit. The mouse chases the cow. The mouse eats the cow. The mouse is nice. The rabbit eats the cow. The rabbit visits the cow. The rabbit visits the mouse. If the mouse is red then the mouse eats the rabbit. If the mouse eats the rabbit then the rabbit visits the mouse. If something is young and it eats the cow then the cow visits the rabbit.
The cow is cold.
("cow" "is" "cold" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is young.
("cow" "is" "young" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If the mouse is red then the mouse eats the rabbit.
((("mouse" "is" "red" "+")) -> ("mouse" "eats" "rabbit" "+"))
If the mouse eats the rabbit then the rabbit visits the mouse.
((("mouse" "eats" "rabbit" "+")) -> ("rabbit" "visits" "mouse" "+"))
If something is young and it eats the cow then the cow visits the rabbit.
((("something" "is" "young" "+") ("something" "eats" "cow" "+")) -> ("cow" "visits" "rabbit" "+"))
The mouse is nice.
True
1
proof
[(triple7)]
("mouse" "is" "nice" "+")
triple7
The cow is not red.
False
1
inv-proof
[(triple2)]
("cow" "is" "red" "-")
triple2
The mouse does not eat the rabbit.
Unknown
inv-rconc
[@1: The mouse eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "rabbit" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
@0: The cow is cold.[(triple1)] The cow is red.[(triple2)] The cow is young.[(triple3)] The cow visits the rabbit.[(triple4)] The mouse chases the cow.[(triple5)] The mouse eats the cow.[(triple6)] The mouse is nice.[(triple7)] The rabbit eats the cow.[(triple8)] The rabbit visits the cow.[(triple9)] The rabbit visits the mouse.[(triple10)]
The cow is cold.
("cow" "is" "cold" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple4
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple5
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple6
The mouse is nice.
("mouse" "is" "nice" "+")
triple7
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple8
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple9
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple10