The bear is nice. The bear visits the dog. The dog is cold. If someone is green then they visit the bear. If someone needs the bear and they eat the bear then they eat the dog. If someone is rough and they visit the bear then the bear needs the dog. If someone needs the dog then the dog needs the bear. If someone is nice then they eat the bear. If someone eats the bear and the bear eats the dog then the bear visits the dog. If someone needs the dog then the dog needs the bear. If someone eats the bear then they eat the dog.
The bear is nice.
("bear" "is" "nice" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog is cold.
("dog" "is" "cold" "+")
If someone is green then they visit the bear.
((("someone" "is" "green" "+")) -> ("someone" "visits" "bear" "+"))
If someone needs the bear and they eat the bear then they eat the dog.
((("someone" "needs" "bear" "+") ("someone" "eats" "bear" "+")) -> ("someone" "eats" "dog" "+"))
If someone is rough and they visit the bear then the bear needs the dog.
((("someone" "is" "rough" "+") ("someone" "visits" "bear" "+")) -> ("bear" "needs" "dog" "+"))
If someone needs the dog then the dog needs the bear.
((("someone" "needs" "dog" "+")) -> ("dog" "needs" "bear" "+"))
If someone is nice then they eat the bear.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "bear" "+"))
If someone eats the bear and the bear eats the dog then the bear visits the dog.
((("someone" "eats" "bear" "+") ("bear" "eats" "dog" "+")) -> ("bear" "visits" "dog" "+"))
If someone needs the dog then the dog needs the bear.
((("someone" "needs" "dog" "+")) -> ("dog" "needs" "bear" "+"))
If someone eats the bear then they eat the dog.
((("someone" "eats" "bear" "+")) -> ("someone" "eats" "dog" "+"))
The bear is nice.
True
1
proof
[(triple1)]
("bear" "is" "nice" "+")
triple1
The dog is not cold.
False
1
inv-proof
[(triple3)]
("dog" "is" "cold" "-")
triple3
The bear eats the bear.
True
2
proof
[(((triple1) -> rule5))]
("bear" "eats" "bear" "+")
((triple1) -> (rule5 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear does not eat the bear.
False
2
inv-proof
[(((triple1) -> rule5))]
("bear" "eats" "bear" "-")
((triple1) -> (rule5 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the dog.
True
3
proof
[(((((triple1) -> rule5)) -> rule8))]
("bear" "eats" "dog" "+")
((((triple1) -> (rule5 % int2))) -> (rule8 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear does not eat the dog.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule8))]
("bear" "eats" "dog" "-")
((((triple1) -> (rule5 % int2))) -> (rule8 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear does not need the dog.
Unknown
inv-rconc
[@1: The bear needs the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "needs" "dog" "-")
The dog eats the bear.
Unknown
rconc
[@1: The dog eats the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "eats" "bear" "+")
The dog does not need the bear.
Unknown
inv-rconc
[@2: The dog needs the bear.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("dog" "needs" "bear" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The bear is nice.[(triple1)] The bear visits the dog.[(triple2 OR ((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule8)) -> rule6))] The dog is cold.[(triple3)] @1: The bear eats the bear.[(((triple1) -> rule5))] @2: The bear eats the dog.[(((((triple1) -> rule5)) -> rule8))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear visits the dog.
("bear" "visits" "dog" "+")
triple2
((((triple1) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
triple3
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple1) -> (rule5 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
((((triple1) -> (rule5 % int2))) -> (rule8 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2