The bear is kind. The bear is red. The bear does not need the mouse. The cat likes the mouse. The cat does not like the rabbit. The mouse likes the rabbit. The mouse needs the cat. The mouse needs the rabbit. The rabbit likes the mouse. The rabbit does not see the cat. If someone is blue then they do not see the cat. Red people are kind. If someone likes the rabbit then they are red.
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear does not need the mouse.
("bear" "needs" "mouse" "-")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat does not like the rabbit.
("cat" "likes" "rabbit" "-")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit does not see the cat.
("rabbit" "sees" "cat" "-")
If someone is blue then they do not see the cat.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "cat" "-"))
Red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone likes the rabbit then they are red.
((("someone" "likes" "rabbit" "+")) -> ("someone" "is" "red" "+"))
The cat does not like the rabbit.
True
1
proof
[(triple5)]
("cat" "likes" "rabbit" "-")
triple5
The cat does not like the mouse.
False
1
inv-proof
[(triple4)]
("cat" "likes" "mouse" "-")
triple4
The mouse is red.
True
2
proof
[(((triple6) -> rule3))]
("mouse" "is" "red" "+")
((triple6) -> (rule3 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is not red.
False
2
inv-proof
[(((triple6) -> rule3))]
("mouse" "is" "red" "-")
((triple6) -> (rule3 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is kind.
True
3
proof
[(((((triple6) -> rule3)) -> rule2))]
("mouse" "is" "kind" "+")
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse is not kind.
False
3
inv-proof
[(((((triple6) -> rule3)) -> rule2))]
("mouse" "is" "kind" "-")
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "red" "-")
The cat is kind.
Unknown
rconc
[@2: The cat is kind.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("cat" "is" "kind" "+")
The rabbit is not red.
Unknown
inv-rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "red" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
The rabbit does not see the bear.
Unknown
inv-random
[@0: The rabbit sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "bear" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
@0: The bear does not need the mouse.[(triple3)] The bear is kind.[(triple1 OR ((triple2) -> rule2))] The bear is red.[(triple2)] The cat does not like the rabbit.[(triple5)] The cat likes the mouse.[(triple4)] The mouse likes the rabbit.[(triple6)] The mouse needs the cat.[(triple7)] The mouse needs the rabbit.[(triple8)] The rabbit does not see the cat.[(triple10)] The rabbit likes the mouse.[(triple9)] @1: The mouse is red.[(((triple6) -> rule3))] @2: The mouse is kind.[(((((triple6) -> rule3)) -> rule2))]
The bear does not need the mouse.
("bear" "needs" "mouse" "-")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple1
((triple2) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is red.
("bear" "is" "red" "+")
triple2
The cat does not like the rabbit.
("cat" "likes" "rabbit" "-")
triple5
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple4
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple6
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple7
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple8
The rabbit does not see the cat.
("rabbit" "sees" "cat" "-")
triple10
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple9
The mouse is red.
("mouse" "is" "red" "+")
((triple6) -> (rule3 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2