The dog eats the lion. The dog eats the squirrel. The dog does not visit the lion. The dog visits the squirrel. The lion eats the squirrel. The lion is rough. The lion does not visit the squirrel. The squirrel chases the dog. The squirrel eats the lion. The squirrel visits the lion. If someone is cold then they chase the lion. If someone chases the squirrel then the squirrel is blue. If someone is blue then they eat the dog. If someone chases the dog then the dog is rough. If someone visits the lion then they chase the squirrel. If someone is kind and not blue then they visit the squirrel.
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog does not visit the lion.
("dog" "visits" "lion" "-")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If someone is cold then they chase the lion.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "lion" "+"))
If someone chases the squirrel then the squirrel is blue.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
If someone is blue then they eat the dog.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "dog" "+"))
If someone chases the dog then the dog is rough.
((("someone" "chases" "dog" "+")) -> ("dog" "is" "rough" "+"))
If someone visits the lion then they chase the squirrel.
((("someone" "visits" "lion" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone is kind and not blue then they visit the squirrel.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "~")) -> ("someone" "visits" "squirrel" "+"))
The lion is rough.
True
1
proof
[(triple6)]
("lion" "is" "rough" "+")
triple6
The dog does not eat the lion.
False
1
inv-proof
[(triple1)]
("dog" "eats" "lion" "-")
triple1
The squirrel chases the squirrel.
True
2
proof
[(((triple10) -> rule5))]
("squirrel" "chases" "squirrel" "+")
((triple10) -> (rule5 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel does not chase the squirrel.
False
2
inv-proof
[(((triple10) -> rule5))]
("squirrel" "chases" "squirrel" "-")
((triple10) -> (rule5 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is blue.
True
3
proof
[(((((triple10) -> rule5)) -> rule2))]
("squirrel" "is" "blue" "+")
((((triple10) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is not blue.
False
3
inv-proof
[(((((triple10) -> rule5)) -> rule2))]
("squirrel" "is" "blue" "-")
((((triple10) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel eats the dog.
True
4
proof
[(((((((triple10) -> rule5)) -> rule2)) -> rule3))]
("squirrel" "eats" "dog" "+")
((((((triple10) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3
The squirrel does not eat the dog.
False
4
inv-proof
[(((((((triple10) -> rule5)) -> rule2)) -> rule3))]
("squirrel" "eats" "dog" "-")
((((((triple10) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3
The squirrel does not visit the squirrel.
Unknown
inv-rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "visits" "squirrel" "-")
The lion chases the lion.
Unknown
rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "lion" "+")
The dog does not chase the squirrel.
Unknown
inv-rconc
[@1: The dog chases the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "chases" "squirrel" "-")
The lion chases the squirrel.
Unknown
rconc
[@1: The lion chases the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "chases" "squirrel" "+")
The dog is not cold.
Unknown
inv-random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "-")
The lion visits the dog.
Unknown
random
[@0: The lion visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "dog" "+")
The lion is not blue.
Unknown
inv-random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The dog does not visit the lion.[(triple3)] The dog eats the lion.[(triple1)] The dog eats the squirrel.[(triple2)] The dog visits the squirrel.[(triple4)] The lion does not visit the squirrel.[(triple7)] The lion eats the squirrel.[(triple5)] The lion is rough.[(triple6)] The squirrel chases the dog.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel visits the lion.[(triple10)] @1: The dog is rough.[(((triple8) -> rule4))] The squirrel chases the squirrel.[(((triple10) -> rule5))] @2: The squirrel is blue.[(((((triple10) -> rule5)) -> rule2))] @3: The squirrel eats the dog.[(((((((triple10) -> rule5)) -> rule2)) -> rule3))]
The dog does not visit the lion.
("dog" "visits" "lion" "-")
triple3
The dog eats the lion.
("dog" "eats" "lion" "+")
triple1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple4
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
triple7
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple6
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple8
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple9
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple10
The dog is rough.
("dog" "is" "rough" "+")
((triple8) -> (rule4 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple10) -> (rule5 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((((triple10) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
((((((triple10) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3