The cow eats the rabbit. The cow visits the mouse. The cow visits the rabbit. The mouse eats the rabbit. The mouse is green. The mouse likes the cow. The mouse likes the squirrel. The rabbit is round. The rabbit visits the squirrel. The squirrel is blue. The squirrel is nice. The squirrel visits the rabbit. All green people are red. All round people are red.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
All green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
All round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
The mouse likes the cow.
True
1
proof
[(triple6)]
("mouse" "likes" "cow" "+")
triple6
The mouse does not like the cow.
False
1
inv-proof
[(triple6)]
("mouse" "likes" "cow" "-")
triple6
The squirrel is not red.
Unknown
inv-rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "red" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The cow eats the rabbit.[(triple1)] The cow visits the mouse.[(triple2)] The cow visits the rabbit.[(triple3)] The mouse eats the rabbit.[(triple4)] The mouse is green.[(triple5)] The mouse likes the cow.[(triple6)] The mouse likes the squirrel.[(triple7)] The rabbit is round.[(triple8)] The rabbit visits the squirrel.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is nice.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The mouse is red.[(((triple5) -> rule1))] The rabbit is red.[(((triple8) -> rule2))]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple2
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple3
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple4
The mouse is green.
("mouse" "is" "green" "+")
triple5
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple6
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
triple8
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple12
The mouse is red.
("mouse" "is" "red" "+")
((triple5) -> (rule1 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
((triple8) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1