The bear is big. The bear is kind. The bear is nice. The bear is rough. The bear is round. The bear does not like the dog. The bear sees the dog. The bear visits the dog. The dog is big. The dog is kind. The dog is nice. The dog is rough. The dog is round. The dog likes the bear. The dog sees the bear. The dog visits the bear. If something likes the dog then it likes the bear. If something is round and it sees the dog then the dog likes the bear. If something likes the dog then the dog is kind. If something sees the bear then the bear is rough. If something likes the bear then it sees the bear. If something likes the dog and the dog sees the bear then it visits the bear. If something sees the dog and it is big then it visits the bear. If something is rough and it does not see the bear then the bear does not visit the dog.
The bear is big.
("bear" "is" "big" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear does not like the dog.
("bear" "likes" "dog" "-")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
If something likes the dog then it likes the bear.
((("something" "likes" "dog" "+")) -> ("something" "likes" "bear" "+"))
If something is round and it sees the dog then the dog likes the bear.
((("something" "is" "round" "+") ("something" "sees" "dog" "+")) -> ("dog" "likes" "bear" "+"))
If something likes the dog then the dog is kind.
((("something" "likes" "dog" "+")) -> ("dog" "is" "kind" "+"))
If something sees the bear then the bear is rough.
((("something" "sees" "bear" "+")) -> ("bear" "is" "rough" "+"))
If something likes the bear then it sees the bear.
((("something" "likes" "bear" "+")) -> ("something" "sees" "bear" "+"))
If something likes the dog and the dog sees the bear then it visits the bear.
((("something" "likes" "dog" "+") ("dog" "sees" "bear" "+")) -> ("something" "visits" "bear" "+"))
If something sees the dog and it is big then it visits the bear.
((("something" "sees" "dog" "+") ("something" "is" "big" "+")) -> ("something" "visits" "bear" "+"))
If something is rough and it does not see the bear then the bear does not visit the dog.
((("something" "is" "rough" "+") ("something" "sees" "bear" "~")) -> ("bear" "visits" "dog" "-"))
The dog is kind.
True
1
proof
[(triple10)]
("dog" "is" "kind" "+")
triple10
The dog is not nice.
False
1
inv-proof
[(triple11)]
("dog" "is" "nice" "-")
triple11
The bear visits the bear.
True
3
proof
[(((triple7 triple1) -> rule7))]
("bear" "visits" "bear" "+")
((triple7 triple1) -> (rule7 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear does not visit the bear.
False
3
inv-proof
[(((triple7 triple1) -> rule7))]
("bear" "visits" "bear" "-")
((triple7 triple1) -> (rule7 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear does not see the bear.
Unknown
inv-rconc
[@2: The bear sees the bear.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("bear" "sees" "bear" "-")
The bear likes the bear.
Unknown
rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "bear" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
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 does not like the dog.[(triple6)] The bear is big.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3)] The bear is rough.[(triple4 OR ((triple15) -> rule4) OR ((((triple14) -> rule5)) -> rule4) OR ((((((triple5 triple7) -> rule2)) -> rule5)) -> rule4))] The bear is round.[(triple5)] The bear sees the dog.[(triple7)] The bear visits the dog.[(triple8)] The dog is big.[(triple9)] The dog is kind.[(triple10)] The dog is nice.[(triple11)] The dog is rough.[(triple12)] The dog is round.[(triple13)] The dog likes the bear.[(triple14 OR ((triple5 triple7) -> rule2))] The dog sees the bear.[(triple15 OR ((triple14) -> rule5) OR ((((triple5 triple7) -> rule2)) -> rule5))] The dog visits the bear.[(triple16)] @1: The bear visits the bear.[(((triple7 triple1) -> rule7))]
The bear does not like the dog.
("bear" "likes" "dog" "-")
triple6
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
((triple15) -> (rule4 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
((((triple14) -> (rule5 % int2))) -> (rule4 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
((((((triple5 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The bear is round.
("bear" "is" "round" "+")
triple5
The bear sees the dog.
("bear" "sees" "dog" "+")
triple7
The bear visits the dog.
("bear" "visits" "dog" "+")
triple8
The dog is big.
("dog" "is" "big" "+")
triple9
The dog is kind.
("dog" "is" "kind" "+")
triple10
The dog is nice.
("dog" "is" "nice" "+")
triple11
The dog is rough.
("dog" "is" "rough" "+")
triple12
The dog is round.
("dog" "is" "round" "+")
triple13
The dog likes the bear.
("dog" "likes" "bear" "+")
triple14
((triple5 triple7) -> (rule2 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
triple15
((triple14) -> (rule5 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
((((triple5 triple7) -> (rule2 % int2))) -> (rule5 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog visits the bear.
("dog" "visits" "bear" "+")
triple16
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple7 triple1) -> (rule7 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1