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