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