The bear chases the squirrel. The dog chases the bear. The dog does not eat the bear. The dog is round. The dog likes the bear. The squirrel is nice. The squirrel likes the dog. If someone is young and they chase the bear then they like the squirrel. If someone eats the bear then they chase the dog. If someone is round then they eat the dog. If someone chases the squirrel then they are nice. If the bear is round then the bear chases the dog. If the squirrel eats the dog then the squirrel is not young. If someone is nice then they like the dog. If someone is kind and not nice then they eat the squirrel.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog does not eat the bear.
("dog" "eats" "bear" "-")
The dog is round.
("dog" "is" "round" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If someone is young and they chase the bear then they like the squirrel.
((("someone" "is" "young" "+") ("someone" "chases" "bear" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone eats the bear then they chase the dog.
((("someone" "eats" "bear" "+")) -> ("someone" "chases" "dog" "+"))
If someone is round then they eat the dog.
((("someone" "is" "round" "+")) -> ("someone" "eats" "dog" "+"))
If someone chases the squirrel then they are nice.
((("someone" "chases" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
If the bear is round then the bear chases the dog.
((("bear" "is" "round" "+")) -> ("bear" "chases" "dog" "+"))
If the squirrel eats the dog then the squirrel is not young.
((("squirrel" "eats" "dog" "+")) -> ("squirrel" "is" "young" "-"))
If someone is nice then they like the dog.
((("someone" "is" "nice" "+")) -> ("someone" "likes" "dog" "+"))
If someone is kind and not nice then they eat the squirrel.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "~")) -> ("someone" "eats" "squirrel" "+"))
The dog is round.
True
1
proof
[(triple4)]
("dog" "is" "round" "+")
triple4
The dog is not round.
False
1
inv-proof
[(triple4)]
("dog" "is" "round" "-")
triple4
The bear is nice.
True
2
proof
[(((triple1) -> rule4))]
("bear" "is" "nice" "+")
((triple1) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is not nice.
False
2
inv-proof
[(((triple1) -> rule4))]
("bear" "is" "nice" "-")
((triple1) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear likes the dog.
True
3
proof
[(((((triple1) -> rule4)) -> rule7))]
("bear" "likes" "dog" "+")
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear does not like the dog.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule7))]
("bear" "likes" "dog" "-")
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The bear likes the squirrel.
Unknown
rconc
[@1: The bear likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "squirrel" "+")
The bear does not eat the squirrel.
Unknown
inv-rconc
[@1: The bear eats the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "eats" "squirrel" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
The squirrel does not like the bear.
Unknown
inv-random
[@0: The squirrel likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear chases the squirrel.[(triple1)] The dog chases the bear.[(triple2)] The dog does not eat the bear.[(triple3)] The dog is round.[(triple4)] The dog likes the bear.[(triple5)] The squirrel is nice.[(triple6)] The squirrel likes the dog.[(triple7 OR ((triple6) -> rule7))] @1: The bear is nice.[(((triple1) -> rule4))] The dog eats the dog.[(((triple4) -> rule3))] @2: The bear likes the dog.[(((((triple1) -> rule4)) -> rule7))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The dog chases the bear.
("dog" "chases" "bear" "+")
triple2
The dog does not eat the bear.
("dog" "eats" "bear" "-")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog likes the bear.
("dog" "likes" "bear" "+")
triple5
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple6
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple7
((triple6) -> (rule7 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
((triple1) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple4) -> (rule3 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2