The bear chases the dog. The bear sees the dog. The dog does not chase the bear. The dog is green. The dog is red. The dog likes the bear. The dog sees the bear. If someone sees the bear and they are cold then the bear is rough. If someone is red then they are cold.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog does not chase the bear.
("dog" "chases" "bear" "-")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If someone sees the bear and they are cold then the bear is rough.
((("someone" "sees" "bear" "+") ("someone" "is" "cold" "+")) -> ("bear" "is" "rough" "+"))
If someone is red then they are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
The dog is green.
True
1
proof
[(triple4)]
("dog" "is" "green" "+")
triple4
The dog chases the bear.
False
1
inv-proof
[(triple3)]
("dog" "chases" "bear" "+")
triple3
The dog is cold.
True
2
proof
[(((triple5) -> rule2))]
("dog" "is" "cold" "+")
((triple5) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is not cold.
False
2
inv-proof
[(((triple5) -> rule2))]
("dog" "is" "cold" "-")
((triple5) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The bear is rough.
True
4
proof
[(((triple7 ((triple5) -> rule2)) -> rule1))]
("bear" "is" "rough" "+")
((triple7 ((triple5) -> (rule2 % int2))) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The bear is not rough.
False
4
inv-proof
[(((triple7 ((triple5) -> rule2)) -> rule1))]
("bear" "is" "rough" "-")
((triple7 ((triple5) -> (rule2 % int2))) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "cold" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear chases the dog.[(triple1)] The bear sees the dog.[(triple2)] The dog does not chase the bear.[(triple3)] The dog is green.[(triple4)] The dog is red.[(triple5)] The dog likes the bear.[(triple6)] The dog sees the bear.[(triple7)] @1: The dog is cold.[(((triple5) -> rule2))] @2: The bear is rough.[(((triple7 ((triple5) -> rule2)) -> rule1))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear sees the dog.
("bear" "sees" "dog" "+")
triple2
The dog does not chase the bear.
("dog" "chases" "bear" "-")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5
The dog likes the bear.
("dog" "likes" "bear" "+")
triple6
The dog sees the bear.
("dog" "sees" "bear" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
((triple5) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
((triple7 ((triple5) -> (rule2 % int2))) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2