The dog is kind. The dog likes the lion. The dog needs the mouse. The dog needs the squirrel. The lion chases the dog. The lion is young. The lion needs the dog. The lion needs the mouse. The mouse chases the lion. The mouse is blue. The mouse is cold. The squirrel is cold. If something is blue then it needs the mouse. If something chases the squirrel then it likes the squirrel. If the dog likes the squirrel then the squirrel is nice. Nice things are young. If something is kind then it likes the squirrel. If something needs the squirrel and it chases the squirrel then it is cold.
The dog is kind.
("dog" "is" "kind" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
If something is blue then it needs the mouse.
((("something" "is" "blue" "+")) -> ("something" "needs" "mouse" "+"))
If something chases the squirrel then it likes the squirrel.
((("something" "chases" "squirrel" "+")) -> ("something" "likes" "squirrel" "+"))
If the dog likes the squirrel then the squirrel is nice.
((("dog" "likes" "squirrel" "+")) -> ("squirrel" "is" "nice" "+"))
Nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something is kind then it likes the squirrel.
((("something" "is" "kind" "+")) -> ("something" "likes" "squirrel" "+"))
If something needs the squirrel and it chases the squirrel then it is cold.
((("something" "needs" "squirrel" "+") ("something" "chases" "squirrel" "+")) -> ("something" "is" "cold" "+"))
The dog needs the squirrel.
True
1
proof
[(triple4)]
("dog" "needs" "squirrel" "+")
triple4
The lion does not need the dog.
False
1
inv-proof
[(triple7)]
("lion" "needs" "dog" "-")
triple7
The dog likes the squirrel.
True
2
proof
[(((triple1) -> rule5))]
("dog" "likes" "squirrel" "+")
((triple1) -> (rule5 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The dog does not like the squirrel.
False
2
inv-proof
[(((triple1) -> rule5))]
("dog" "likes" "squirrel" "-")
((triple1) -> (rule5 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The squirrel is nice.
True
3
proof
[(((((triple1) -> rule5)) -> rule3))]
("squirrel" "is" "nice" "+")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int2
The squirrel is not nice.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule3))]
("squirrel" "is" "nice" "-")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int2
The squirrel is young.
True
4
proof
[(((((((triple1) -> rule5)) -> rule3)) -> rule4))]
("squirrel" "is" "young" "+")
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int3
The squirrel is not young.
False
4
inv-proof
[(((((((triple1) -> rule5)) -> rule3)) -> rule4))]
("squirrel" "is" "young" "-")
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int3
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "young" "-")
The dog is cold.
Unknown
rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "cold" "+")
The mouse does not like the squirrel.
Unknown
inv-rconc
[@1: The mouse likes the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "likes" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "likes" "squirrel" "+")
The mouse does not like the lion.
Unknown
inv-random
[@0: The mouse likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "lion" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
The lion does not like the mouse.
Unknown
inv-random
[@0: The lion likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "mouse" "-")
The dog needs the lion.
Unknown
random
[@0: The dog needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "lion" "+")
@0: The dog is kind.[(triple1)] The dog likes the lion.[(triple2)] The dog needs the mouse.[(triple3)] The dog needs the squirrel.[(triple4)] The lion chases the dog.[(triple5)] The lion is young.[(triple6)] The lion needs the dog.[(triple7)] The lion needs the mouse.[(triple8)] The mouse chases the lion.[(triple9)] The mouse is blue.[(triple10)] The mouse is cold.[(triple11)] The squirrel is cold.[(triple12)] @1: The dog likes the squirrel.[(((triple1) -> rule5))] The mouse needs the mouse.[(((triple10) -> rule1))] @2: The squirrel is nice.[(((((triple1) -> rule5)) -> rule3))] @3: The squirrel is young.[(((((((triple1) -> rule5)) -> rule3)) -> rule4))]
The dog is kind.
("dog" "is" "kind" "+")
triple1
The dog likes the lion.
("dog" "likes" "lion" "+")
triple2
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple4
The lion chases the dog.
("lion" "chases" "dog" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The lion needs the dog.
("lion" "needs" "dog" "+")
triple7
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple8
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
The mouse is cold.
("mouse" "is" "cold" "+")
triple11
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
((triple1) -> (rule5 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((triple10) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int3