The cow sees the rabbit. The rabbit does not eat the cow. The rabbit is blue. The rabbit is rough. The rabbit is young. The rabbit needs the cow. The rabbit sees the cow. If someone is young and they see the rabbit then they need the rabbit. If someone needs the rabbit then the rabbit does not need the cow. If someone sees the cow and the cow eats the rabbit then the rabbit is rough. If someone sees the rabbit and the rabbit eats the cow then the cow needs the rabbit. If someone eats the cow and they are not cold then the cow does not see the rabbit. If the cow needs the rabbit then the cow is young. If someone is young then they do not see the rabbit. If someone eats the cow and they are cold then they do not see the cow.
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit does not eat the cow.
("rabbit" "eats" "cow" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
If someone is young and they see the rabbit then they need the rabbit.
((("someone" "is" "young" "+") ("someone" "sees" "rabbit" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone needs the rabbit then the rabbit does not need the cow.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "needs" "cow" "-"))
If someone sees the cow and the cow eats the rabbit then the rabbit is rough.
((("someone" "sees" "cow" "+") ("cow" "eats" "rabbit" "+")) -> ("rabbit" "is" "rough" "+"))
If someone sees the rabbit and the rabbit eats the cow then the cow needs the rabbit.
((("someone" "sees" "rabbit" "+") ("rabbit" "eats" "cow" "+")) -> ("cow" "needs" "rabbit" "+"))
If someone eats the cow and they are not cold then the cow does not see the rabbit.
((("someone" "eats" "cow" "+") ("someone" "is" "cold" "~")) -> ("cow" "sees" "rabbit" "-"))
If the cow needs the rabbit then the cow is young.
((("cow" "needs" "rabbit" "+")) -> ("cow" "is" "young" "+"))
If someone is young then they do not see the rabbit.
((("someone" "is" "young" "+")) -> ("someone" "sees" "rabbit" "-"))
If someone eats the cow and they are cold then they do not see the cow.
((("someone" "eats" "cow" "+") ("someone" "is" "cold" "+")) -> ("someone" "sees" "cow" "-"))
The rabbit is blue.
True
1
proof
[(triple3)]
("rabbit" "is" "blue" "+")
triple3
The rabbit is not blue.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "blue" "-")
triple3
The rabbit does not see the rabbit.
True
2
proof
[(((triple5) -> rule7))]
("rabbit" "sees" "rabbit" "-")
((triple5) -> (rule7 % int1))
The rabbit does not see the rabbit.
("rabbit" "sees" "rabbit" "-")
int1
The rabbit sees the rabbit.
False
2
inv-proof
[(((triple5) -> rule7))]
("rabbit" "sees" "rabbit" "+")
((triple5) -> (rule7 % int1))
The rabbit does not see the rabbit.
("rabbit" "sees" "rabbit" "-")
int1
The cow is not young.
Unknown
inv-rconc
[@2: The cow is young.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("cow" "is" "young" "-")
The rabbit needs the rabbit.
Unknown
rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "needs" "rabbit" "+")
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The cow sees the rabbit.[(triple1)] The rabbit does not eat the cow.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is young.[(triple5)] The rabbit needs the cow.[(triple6)] The rabbit sees the cow.[(triple7)] @1: The rabbit does not see the rabbit.[(((triple5) -> rule7))]
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple1
The rabbit does not eat the cow.
("rabbit" "eats" "cow" "-")
triple2
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
The rabbit is young.
("rabbit" "is" "young" "+")
triple5
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple6
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple7
The rabbit does not see the rabbit.
("rabbit" "sees" "rabbit" "-")
((triple5) -> (rule7 % int1))
The rabbit does not see the rabbit.
("rabbit" "sees" "rabbit" "-")
int1