The bear chases the rabbit. The bear needs the cat. The bear needs the rabbit. The bear sees the cat. The cat chases the rabbit. The cat sees the bear. The rabbit chases the cat. The rabbit is green. The rabbit is round. The rabbit sees the bear. If something needs the cat then it chases the cat. If something is cold then it is green. If something chases the cat and the cat sees the rabbit then the rabbit is nice.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
If something needs the cat then it chases the cat.
((("something" "needs" "cat" "+")) -> ("something" "chases" "cat" "+"))
If something is cold then it is green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If something chases the cat and the cat sees the rabbit then the rabbit is nice.
((("something" "chases" "cat" "+") ("cat" "sees" "rabbit" "+")) -> ("rabbit" "is" "nice" "+"))
The cat sees the bear.
True
1
proof
[(triple6)]
("cat" "sees" "bear" "+")
triple6
The bear does not see the cat.
False
1
inv-proof
[(triple4)]
("bear" "sees" "cat" "-")
triple4
The cat is not green.
Unknown
inv-rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "green" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear chases the rabbit.[(triple1)] The bear needs the cat.[(triple2)] The bear needs the rabbit.[(triple3)] The bear sees the cat.[(triple4)] The cat chases the rabbit.[(triple5)] The cat sees the bear.[(triple6)] The rabbit chases the cat.[(triple7)] The rabbit is green.[(triple8)] The rabbit is round.[(triple9)] The rabbit sees the bear.[(triple10)] @1: The bear chases the cat.[(((triple2) -> rule1))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear needs the cat.
("bear" "needs" "cat" "+")
triple2
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple3
The bear sees the cat.
("bear" "sees" "cat" "+")
triple4
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple5
The cat sees the bear.
("cat" "sees" "bear" "+")
triple6
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple7
The rabbit is green.
("rabbit" "is" "green" "+")
triple8
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple10
The bear chases the cat.
("bear" "chases" "cat" "+")
((triple2) -> (rule1 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1