The cat is cold. The cat is nice. The cat is red. The cat needs the cow. The cat sees the cow. The cow chases the cat. The cow is red. The cow sees the cat. The mouse chases the cat. The mouse chases the cow. The mouse is nice. The mouse is red. The mouse is rough. The mouse needs the cat. The mouse sees the cat. The mouse sees the cow. If the cow is red and the cow needs the mouse then the mouse is nice. If the cow chases the mouse then the mouse is young. If something sees the mouse and the mouse sees the cow then it sees the cow. If something sees the cat and the cat is young then it chases the mouse. If something chases the cat and the cat needs the cow then the cow sees the mouse. If the cat sees the cow then the cow is young.
The cat is cold.
("cat" "is" "cold" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow is red.
("cow" "is" "red" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If the cow is red and the cow needs the mouse then the mouse is nice.
((("cow" "is" "red" "+") ("cow" "needs" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
If the cow chases the mouse then the mouse is young.
((("cow" "chases" "mouse" "+")) -> ("mouse" "is" "young" "+"))
If something sees the mouse and the mouse sees the cow then it sees the cow.
((("something" "sees" "mouse" "+") ("mouse" "sees" "cow" "+")) -> ("something" "sees" "cow" "+"))
If something sees the cat and the cat is young then it chases the mouse.
((("something" "sees" "cat" "+") ("cat" "is" "young" "+")) -> ("something" "chases" "mouse" "+"))
If something chases the cat and the cat needs the cow then the cow sees the mouse.
((("something" "chases" "cat" "+") ("cat" "needs" "cow" "+")) -> ("cow" "sees" "mouse" "+"))
If the cat sees the cow then the cow is young.
((("cat" "sees" "cow" "+")) -> ("cow" "is" "young" "+"))
The mouse sees the cat.
True
1
proof
[(triple15)]
("mouse" "sees" "cat" "+")
triple15
The mouse does not see the cat.
False
1
inv-proof
[(triple15)]
("mouse" "sees" "cat" "-")
triple15
The cow is young.
True
2
proof
[(((triple5) -> rule6))]
("cow" "is" "young" "+")
((triple5) -> (rule6 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not young.
False
2
inv-proof
[(((triple5) -> rule6))]
("cow" "is" "young" "-")
((triple5) -> (rule6 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow sees the cow.
True
5
proof
[(((((triple6 triple4) -> rule5) triple16) -> rule3) OR ((((triple9 triple4) -> rule5) triple16) -> rule3))]
("cow" "sees" "cow" "+")
((((triple6 triple4) -> (rule5 % int2)) triple16) -> (rule3 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
((((triple9 triple4) -> (rule5 % int2)) triple16) -> (rule3 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
The cow does not see the cow.
False
5
inv-proof
[(((((triple6 triple4) -> rule5) triple16) -> rule3) OR ((((triple9 triple4) -> rule5) triple16) -> rule3))]
("cow" "sees" "cow" "-")
((((triple6 triple4) -> (rule5 % int2)) triple16) -> (rule3 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
((((triple9 triple4) -> (rule5 % int2)) triple16) -> (rule3 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
The mouse is not young.
Unknown
inv-rconc
[@2: The mouse is young.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("mouse" "is" "young" "-")
The cat chases the mouse.
Unknown
rconc
[@1: The cat chases the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "chases" "mouse" "+")
The cow does not chase the mouse.
Unknown
inv-rconc
[@1: The cow chases the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "chases" "mouse" "-")
The mouse needs the cow.
Unknown
random
[@0: The mouse needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "cow" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cat needs the mouse.
Unknown
random
[@0: The cat needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "mouse" "+")
@0: The cat is cold.[(triple1)] The cat is nice.[(triple2)] The cat is red.[(triple3)] The cat needs the cow.[(triple4)] The cat sees the cow.[(triple5)] The cow chases the cat.[(triple6)] The cow is red.[(triple7)] The cow sees the cat.[(triple8)] The mouse chases the cat.[(triple9)] The mouse chases the cow.[(triple10)] The mouse is nice.[(triple11)] The mouse is red.[(triple12)] The mouse is rough.[(triple13)] The mouse needs the cat.[(triple14)] The mouse sees the cat.[(triple15)] The mouse sees the cow.[(triple16)] @1: The cow is young.[(((triple5) -> rule6))] The cow sees the mouse.[(((triple6 triple4) -> rule5) OR ((triple9 triple4) -> rule5))] @2: The cow sees the cow.[(((((triple6 triple4) -> rule5) triple16) -> rule3) OR ((((triple9 triple4) -> rule5) triple16) -> rule3))]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat needs the cow.
("cat" "needs" "cow" "+")
triple4
The cat sees the cow.
("cat" "sees" "cow" "+")
triple5
The cow chases the cat.
("cow" "chases" "cat" "+")
triple6
The cow is red.
("cow" "is" "red" "+")
triple7
The cow sees the cat.
("cow" "sees" "cat" "+")
triple8
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple9
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple10
The mouse is nice.
("mouse" "is" "nice" "+")
triple11
The mouse is red.
("mouse" "is" "red" "+")
triple12
The mouse is rough.
("mouse" "is" "rough" "+")
triple13
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple14
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple15
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple16
The cow is young.
("cow" "is" "young" "+")
((triple5) -> (rule6 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
((triple6 triple4) -> (rule5 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
((triple9 triple4) -> (rule5 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
((((triple6 triple4) -> (rule5 % int2)) triple16) -> (rule3 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
((((triple9 triple4) -> (rule5 % int2)) triple16) -> (rule3 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2