The cow is blue. The cow is green. The cow needs the rabbit. The cow sees the rabbit. The cow visits the lion. The lion is big. The lion is blue. The lion needs the cow. The lion needs the squirrel. The lion sees the squirrel. The rabbit needs the cow. The squirrel needs the rabbit. If something needs the cow and the cow needs the squirrel then it is big. If something visits the lion then it sees the lion. If the squirrel visits the rabbit then the rabbit is green. If something sees the cow and the cow sees the squirrel then it sees the rabbit. If something needs the cow then it sees the cow. If something needs the cow then the cow is kind. If something needs the lion then the lion sees the squirrel. If the rabbit sees the lion and the lion sees the rabbit then the lion needs the squirrel.
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If something needs the cow and the cow needs the squirrel then it is big.
((("something" "needs" "cow" "+") ("cow" "needs" "squirrel" "+")) -> ("something" "is" "big" "+"))
If something visits the lion then it sees the lion.
((("something" "visits" "lion" "+")) -> ("something" "sees" "lion" "+"))
If the squirrel visits the rabbit then the rabbit is green.
((("squirrel" "visits" "rabbit" "+")) -> ("rabbit" "is" "green" "+"))
If something sees the cow and the cow sees the squirrel then it sees the rabbit.
((("something" "sees" "cow" "+") ("cow" "sees" "squirrel" "+")) -> ("something" "sees" "rabbit" "+"))
If something needs the cow then it sees the cow.
((("something" "needs" "cow" "+")) -> ("something" "sees" "cow" "+"))
If something needs the cow then the cow is kind.
((("something" "needs" "cow" "+")) -> ("cow" "is" "kind" "+"))
If something needs the lion then the lion sees the squirrel.
((("something" "needs" "lion" "+")) -> ("lion" "sees" "squirrel" "+"))
If the rabbit sees the lion and the lion sees the rabbit then the lion needs the squirrel.
((("rabbit" "sees" "lion" "+") ("lion" "sees" "rabbit" "+")) -> ("lion" "needs" "squirrel" "+"))
The rabbit needs the cow.
True
1
proof
[(triple11)]
("rabbit" "needs" "cow" "+")
triple11
The squirrel does not need the rabbit.
False
1
inv-proof
[(triple12)]
("squirrel" "needs" "rabbit" "-")
triple12
The rabbit is not green.
Unknown
inv-rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "green" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The cow is blue.[(triple1)] The cow is green.[(triple2)] The cow needs the rabbit.[(triple3)] The cow sees the rabbit.[(triple4)] The cow visits the lion.[(triple5)] The lion is big.[(triple6)] The lion is blue.[(triple7)] The lion needs the cow.[(triple8)] The lion needs the squirrel.[(triple9)] The lion sees the squirrel.[(triple10)] The rabbit needs the cow.[(triple11)] The squirrel needs the rabbit.[(triple12)] @1: The cow is kind.[(((triple11) -> rule6) OR ((triple8) -> rule6))] The cow sees the lion.[(((triple5) -> rule2))] The lion sees the cow.[(((triple8) -> rule5))] The rabbit sees the cow.[(((triple11) -> rule5))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple3
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple4
The cow visits the lion.
("cow" "visits" "lion" "+")
triple5
The lion is big.
("lion" "is" "big" "+")
triple6
The lion is blue.
("lion" "is" "blue" "+")
triple7
The lion needs the cow.
("lion" "needs" "cow" "+")
triple8
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple9
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple10
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple11
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple12
The cow is kind.
("cow" "is" "kind" "+")
((triple11) -> (rule6 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
((triple8) -> (rule6 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow sees the lion.
("cow" "sees" "lion" "+")
((triple5) -> (rule2 % int1))
The cow sees the lion.
("cow" "sees" "lion" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
((triple8) -> (rule5 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
((triple11) -> (rule5 % int1))
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
int1