The bear is cold. The bear is kind. The bear is red. The bear is young. The bear likes the dog. The bear sees the dog. The dog sees the bear. If someone needs the bear and they are nice then the bear sees the dog. If the bear likes the dog then the bear is kind. If someone needs the dog then they are red. If someone likes the dog and they see the bear then the bear needs the dog. If someone is nice then they need the dog. If someone sees the dog then they need the dog. If someone needs the bear then they are red. If someone likes the dog and they see the bear then the bear likes the dog.
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If someone needs the bear and they are nice then the bear sees the dog.
((("someone" "needs" "bear" "+") ("someone" "is" "nice" "+")) -> ("bear" "sees" "dog" "+"))
If the bear likes the dog then the bear is kind.
((("bear" "likes" "dog" "+")) -> ("bear" "is" "kind" "+"))
If someone needs the dog then they are red.
((("someone" "needs" "dog" "+")) -> ("someone" "is" "red" "+"))
If someone likes the dog and they see the bear then the bear needs the dog.
((("someone" "likes" "dog" "+") ("someone" "sees" "bear" "+")) -> ("bear" "needs" "dog" "+"))
If someone is nice then they need the dog.
((("someone" "is" "nice" "+")) -> ("someone" "needs" "dog" "+"))
If someone sees the dog then they need the dog.
((("someone" "sees" "dog" "+")) -> ("someone" "needs" "dog" "+"))
If someone needs the bear then they are red.
((("someone" "needs" "bear" "+")) -> ("someone" "is" "red" "+"))
If someone likes the dog and they see the bear then the bear likes the dog.
((("someone" "likes" "dog" "+") ("someone" "sees" "bear" "+")) -> ("bear" "likes" "dog" "+"))
The bear is cold.
True
1
proof
[(triple1)]
("bear" "is" "cold" "+")
triple1
The bear does not see the dog.
False
1
inv-proof
[(triple6)]
("bear" "sees" "dog" "-")
triple6
The bear needs the dog.
True
2
proof
[(((triple6) -> rule6))]
("bear" "needs" "dog" "+")
((triple6) -> (rule6 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The bear does not need the dog.
False
2
inv-proof
[(((triple6) -> rule6))]
("bear" "needs" "dog" "-")
((triple6) -> (rule6 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "needs" "dog" "-")
The dog is red.
Unknown
rconc
[@2: The dog is red.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("dog" "is" "red" "+")
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The bear is cold.[(triple1)] The bear is kind.[(triple2 OR ((triple5) -> rule2))] The bear is red.[(triple3 OR ((((triple6) -> rule6)) -> rule3))] The bear is young.[(triple4)] The bear likes the dog.[(triple5)] The bear sees the dog.[(triple6)] The dog sees the bear.[(triple7)] @1: The bear needs the dog.[(((triple6) -> rule6))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
((triple5) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is red.
("bear" "is" "red" "+")
triple3
((((triple6) -> (rule6 % int2))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The bear is young.
("bear" "is" "young" "+")
triple4
The bear likes the dog.
("bear" "likes" "dog" "+")
triple5
The bear sees the dog.
("bear" "sees" "dog" "+")
triple6
The dog sees the bear.
("dog" "sees" "bear" "+")
triple7
The bear needs the dog.
("bear" "needs" "dog" "+")
((triple6) -> (rule6 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1