The bear chases the squirrel. The bear is blue. The bear is rough. The bear likes the lion. The bear likes the squirrel. The bear visits the lion. The lion chases the bear. The lion is blue. The lion is rough. The lion likes the bear. The lion likes the squirrel. The squirrel chases the bear. The squirrel is blue. The squirrel is red. The squirrel likes the bear. The squirrel visits the bear. If someone visits the squirrel then they chase the bear. If someone chases the squirrel then the squirrel visits the bear. If someone chases the squirrel and they are rough then they chase the lion. If someone is rough and they visit the lion then they are red. If someone visits the lion and they are rough then they are young. If someone is young and they chase the squirrel then the squirrel is nice.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If someone visits the squirrel then they chase the bear.
((("someone" "visits" "squirrel" "+")) -> ("someone" "chases" "bear" "+"))
If someone chases the squirrel then the squirrel visits the bear.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "visits" "bear" "+"))
If someone chases the squirrel and they are rough then they chase the lion.
((("someone" "chases" "squirrel" "+") ("someone" "is" "rough" "+")) -> ("someone" "chases" "lion" "+"))
If someone is rough and they visit the lion then they are red.
((("someone" "is" "rough" "+") ("someone" "visits" "lion" "+")) -> ("someone" "is" "red" "+"))
If someone visits the lion and they are rough then they are young.
((("someone" "visits" "lion" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is young and they chase the squirrel then the squirrel is nice.
((("someone" "is" "young" "+") ("someone" "chases" "squirrel" "+")) -> ("squirrel" "is" "nice" "+"))
The bear chases the squirrel.
True
1
proof
[(triple1)]
("bear" "chases" "squirrel" "+")
triple1
The lion does not chase the bear.
False
1
inv-proof
[(triple7)]
("lion" "chases" "bear" "-")
triple7
The bear chases the lion.
True
3
proof
[(((triple1 triple3) -> rule3))]
("bear" "chases" "lion" "+")
((triple1 triple3) -> (rule3 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear does not chase the lion.
False
3
inv-proof
[(((triple1 triple3) -> rule3))]
("bear" "chases" "lion" "-")
((triple1 triple3) -> (rule3 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The squirrel is nice.
True
5
proof
[(((((triple6 triple3) -> rule5) triple1) -> rule6))]
("squirrel" "is" "nice" "+")
((((triple6 triple3) -> (rule5 % int2)) triple1) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The squirrel is not nice.
False
5
inv-proof
[(((((triple6 triple3) -> rule5) triple1) -> rule6))]
("squirrel" "is" "nice" "-")
((((triple6 triple3) -> (rule5 % int2)) triple1) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear does not chase the bear.
Unknown
inv-rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "bear" "-")
The lion is red.
Unknown
rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "is" "red" "+")
The lion does not chase the lion.
Unknown
inv-rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "chases" "lion" "-")
The lion visits the squirrel.
Unknown
random
[@0: The lion visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "squirrel" "+")
The squirrel does not visit the lion.
Unknown
inv-random
[@0: The squirrel visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "lion" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The bear chases the squirrel.[(triple1)] The bear is blue.[(triple2)] The bear is rough.[(triple3)] The bear likes the lion.[(triple4)] The bear likes the squirrel.[(triple5)] The bear visits the lion.[(triple6)] The lion chases the bear.[(triple7)] The lion is blue.[(triple8)] The lion is rough.[(triple9)] The lion likes the bear.[(triple10)] The lion likes the squirrel.[(triple11)] The squirrel chases the bear.[(triple12)] The squirrel is blue.[(triple13)] The squirrel is red.[(triple14)] The squirrel likes the bear.[(triple15)] The squirrel visits the bear.[(triple16 OR ((triple1) -> rule2))] @1: The bear chases the lion.[(((triple1 triple3) -> rule3))] The bear is red.[(((triple3 triple6) -> rule4))] The bear is young.[(((triple6 triple3) -> rule5))] @2: The squirrel is nice.[(((((triple6 triple3) -> rule5) triple1) -> rule6))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear likes the lion.
("bear" "likes" "lion" "+")
triple4
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple5
The bear visits the lion.
("bear" "visits" "lion" "+")
triple6
The lion chases the bear.
("lion" "chases" "bear" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion is rough.
("lion" "is" "rough" "+")
triple9
The lion likes the bear.
("lion" "likes" "bear" "+")
triple10
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple11
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple12
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple13
The squirrel is red.
("squirrel" "is" "red" "+")
triple14
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple15
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple16
((triple1) -> (rule2 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
((triple1 triple3) -> (rule3 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear is red.
("bear" "is" "red" "+")
((triple3 triple6) -> (rule4 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is young.
("bear" "is" "young" "+")
((triple6 triple3) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
((((triple6 triple3) -> (rule5 % int2)) triple1) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2