The bear is blue. The bear is cold. The bear needs the rabbit. The bear sees the cat. The bear sees the rabbit. The cat is young. The cat needs the rabbit. The rabbit eats the bear. The rabbit eats the cat. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit needs the bear. The rabbit needs the cat. The rabbit sees the cat. If someone needs the rabbit and the rabbit sees the cat then they see the bear.
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If someone needs the rabbit and the rabbit sees the cat then they see the bear.
((("someone" "needs" "rabbit" "+") ("rabbit" "sees" "cat" "+")) -> ("someone" "sees" "bear" "+"))
The bear needs the rabbit.
True
1
proof
[(triple3)]
("bear" "needs" "rabbit" "+")
triple3
The rabbit does not eat the cat.
False
1
inv-proof
[(triple9)]
("rabbit" "eats" "cat" "-")
triple9
The bear sees the bear.
True
3
proof
[(((triple3 triple15) -> rule1))]
("bear" "sees" "bear" "+")
((triple3 triple15) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear does not see the bear.
False
3
inv-proof
[(((triple3 triple15) -> rule1))]
("bear" "sees" "bear" "-")
((triple3 triple15) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The rabbit does not see the bear.
Unknown
inv-rconc
[@1: The rabbit sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "sees" "bear" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The bear needs the cat.
Unknown
random
[@0: The bear needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "cat" "+")
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear needs the rabbit.[(triple3)] The bear sees the cat.[(triple4)] The bear sees the rabbit.[(triple5)] The cat is young.[(triple6)] The cat needs the rabbit.[(triple7)] The rabbit eats the bear.[(triple8)] The rabbit eats the cat.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is green.[(triple11)] The rabbit is kind.[(triple12)] The rabbit needs the bear.[(triple13)] The rabbit needs the cat.[(triple14)] The rabbit sees the cat.[(triple15)] @1: The bear sees the bear.[(((triple3 triple15) -> rule1))] The cat sees the bear.[(((triple7 triple15) -> rule1))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple3
The bear sees the cat.
("bear" "sees" "cat" "+")
triple4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple5
The cat is young.
("cat" "is" "young" "+")
triple6
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple7
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple8
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple9
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple10
The rabbit is green.
("rabbit" "is" "green" "+")
triple11
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple12
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple13
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple14
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple15
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple3 triple15) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The cat sees the bear.
("cat" "sees" "bear" "+")
((triple7 triple15) -> (rule1 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1