The cat eats the cow. The cat is green. The cow likes the rabbit. The mouse eats the cat. The mouse likes the rabbit. The mouse visits the rabbit. The rabbit visits the cow. If someone is red then they visit the rabbit. If someone visits the rabbit and they visit the mouse then they are red. If someone visits the mouse then they are red. If someone is red and green then they eat the rabbit. If the cow is round and the cow visits the mouse then the mouse likes the rabbit. If someone visits the rabbit then the rabbit is kind. If the mouse is round then the mouse is kind. If someone is young and they like the cat then they like the mouse.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is green.
("cat" "is" "green" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If someone is red then they visit the rabbit.
((("someone" "is" "red" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone visits the rabbit and they visit the mouse then they are red.
((("someone" "visits" "rabbit" "+") ("someone" "visits" "mouse" "+")) -> ("someone" "is" "red" "+"))
If someone visits the mouse then they are red.
((("someone" "visits" "mouse" "+")) -> ("someone" "is" "red" "+"))
If someone is red and green then they eat the rabbit.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "eats" "rabbit" "+"))
If the cow is round and the cow visits the mouse then the mouse likes the rabbit.
((("cow" "is" "round" "+") ("cow" "visits" "mouse" "+")) -> ("mouse" "likes" "rabbit" "+"))
If someone visits the rabbit then the rabbit is kind.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If the mouse is round then the mouse is kind.
((("mouse" "is" "round" "+")) -> ("mouse" "is" "kind" "+"))
If someone is young and they like the cat then they like the mouse.
((("someone" "is" "young" "+") ("someone" "likes" "cat" "+")) -> ("someone" "likes" "mouse" "+"))
The cat is green.
True
1
proof
[(triple2)]
("cat" "is" "green" "+")
triple2
The cat does not eat the cow.
False
1
inv-proof
[(triple1)]
("cat" "eats" "cow" "-")
triple1
The rabbit is kind.
True
2
proof
[(((triple6) -> rule6))]
("rabbit" "is" "kind" "+")
((triple6) -> (rule6 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is not kind.
False
2
inv-proof
[(((triple6) -> rule6))]
("rabbit" "is" "kind" "-")
((triple6) -> (rule6 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The cow does not visit the rabbit.
Unknown
inv-rconc
[@2: The cow visits the rabbit.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("cow" "visits" "rabbit" "-")
The cat visits the rabbit.
Unknown
rconc
[@2: The cat visits the rabbit.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("cat" "visits" "rabbit" "+")
The mouse does not visit the cow.
Unknown
inv-random
[@0: The mouse visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "cow" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
@0: The cat eats the cow.[(triple1)] The cat is green.[(triple2)] The cow likes the rabbit.[(triple3)] The mouse eats the cat.[(triple4)] The mouse likes the rabbit.[(triple5)] The mouse visits the rabbit.[(triple6)] The rabbit visits the cow.[(triple7)] @1: The rabbit is kind.[(((triple6) -> rule6))]
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple3
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple4
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple5
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple6
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple7
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple6) -> (rule6 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1