The bear chases the lion. The bear is blue. The bear is nice. The bear is red. The bear sees the lion. The bear sees the squirrel. The lion is blue. The lion is not red. The lion does not see the bear. The lion sees the squirrel. The lion visits the squirrel. The squirrel chases the lion. The squirrel is not cold. The squirrel is round. The squirrel does not see the lion. The squirrel does not visit the lion. If something is nice then it does not visit the squirrel. If something chases the bear then the bear does not chase the lion. If something chases the lion and it chases the squirrel then it visits the lion. If something sees the lion then the lion does not chase the squirrel. If something visits the lion then the lion sees the bear. If the squirrel is nice and the squirrel is blue then the squirrel visits the lion. If something is cold then it does not chase the lion. If something is cold and it sees the squirrel then it sees the lion.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is not red.
("lion" "is" "red" "-")
The lion does not see the bear.
("lion" "sees" "bear" "-")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is not cold.
("squirrel" "is" "cold" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel does not see the lion.
("squirrel" "sees" "lion" "-")
The squirrel does not visit the lion.
("squirrel" "visits" "lion" "-")
If something is nice then it does not visit the squirrel.
((("something" "is" "nice" "+")) -> ("something" "visits" "squirrel" "-"))
If something chases the bear then the bear does not chase the lion.
((("something" "chases" "bear" "+")) -> ("bear" "chases" "lion" "-"))
If something chases the lion and it chases the squirrel then it visits the lion.
((("something" "chases" "lion" "+") ("something" "chases" "squirrel" "+")) -> ("something" "visits" "lion" "+"))
If something sees the lion then the lion does not chase the squirrel.
((("something" "sees" "lion" "+")) -> ("lion" "chases" "squirrel" "-"))
If something visits the lion then the lion sees the bear.
((("something" "visits" "lion" "+")) -> ("lion" "sees" "bear" "+"))
If the squirrel is nice and the squirrel is blue then the squirrel visits the lion.
((("squirrel" "is" "nice" "+") ("squirrel" "is" "blue" "+")) -> ("squirrel" "visits" "lion" "+"))
If something is cold then it does not chase the lion.
((("something" "is" "cold" "+")) -> ("something" "chases" "lion" "-"))
If something is cold and it sees the squirrel then it sees the lion.
((("something" "is" "cold" "+") ("something" "sees" "squirrel" "+")) -> ("something" "sees" "lion" "+"))
The bear is nice.
True
1
proof
[(triple3)]
("bear" "is" "nice" "+")
triple3
The squirrel is cold.
False
1
inv-proof
[(triple13)]
("squirrel" "is" "cold" "+")
triple13
The bear does not visit the squirrel.
True
2
proof
[(((triple3) -> rule1))]
("bear" "visits" "squirrel" "-")
((triple3) -> (rule1 % int1))
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
int1
The bear visits the squirrel.
False
2
inv-proof
[(((triple3) -> rule1))]
("bear" "visits" "squirrel" "+")
((triple3) -> (rule1 % int1))
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
int1
The bear does not visit the lion.
Unknown
inv-rconc
[@1: The bear visits the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "visits" "lion" "-")
The lion visits the lion.
Unknown
rconc
[@1: The lion visits the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "visits" "lion" "+")
The squirrel does not visit the bear.
Unknown
inv-random
[@0: The squirrel visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bear" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear chases the lion.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear sees the lion.[(triple5)] The bear sees the squirrel.[(triple6)] The lion does not see the bear.[(triple9)] The lion is blue.[(triple7)] The lion is not red.[(triple8)] The lion sees the squirrel.[(triple10)] The lion visits the squirrel.[(triple11)] The squirrel chases the lion.[(triple12)] The squirrel does not see the lion.[(triple15)] The squirrel does not visit the lion.[(triple16)] The squirrel is not cold.[(triple13)] The squirrel is round.[(triple14)] @1: The bear does not visit the squirrel.[(((triple3) -> rule1))] The lion does not chase the squirrel.[(((triple5) -> rule4))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear sees the lion.
("bear" "sees" "lion" "+")
triple5
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple6
The lion does not see the bear.
("lion" "sees" "bear" "-")
triple9
The lion is blue.
("lion" "is" "blue" "+")
triple7
The lion is not red.
("lion" "is" "red" "-")
triple8
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple10
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple11
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple12
The squirrel does not see the lion.
("squirrel" "sees" "lion" "-")
triple15
The squirrel does not visit the lion.
("squirrel" "visits" "lion" "-")
triple16
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
((triple3) -> (rule1 % int1))
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
int1
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
((triple5) -> (rule4 % int1))
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
int1