The cat chases the mouse. The cat eats the cow. The cat is green. The cat is nice. The cat sees the cow. The cow chases the cat. The cow eats the cat. The cow is red. The cow sees the cat. The cow sees the mouse. The mouse chases the cat. The mouse eats the cat. The mouse is nice. The mouse is red. The mouse sees the cow. If someone sees the mouse then the mouse eats the cat. If someone chases the mouse and they are round then the mouse sees the cat. If the mouse is red and the mouse chases the cat then the cat chases the mouse. If someone is green then they chase the cat. If the cow chases the mouse and the mouse is round then the cow is round. If someone is big then they eat the cow.
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is red.
("cow" "is" "red" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If someone sees the mouse then the mouse eats the cat.
((("someone" "sees" "mouse" "+")) -> ("mouse" "eats" "cat" "+"))
If someone chases the mouse and they are round then the mouse sees the cat.
((("someone" "chases" "mouse" "+") ("someone" "is" "round" "+")) -> ("mouse" "sees" "cat" "+"))
If the mouse is red and the mouse chases the cat then the cat chases the mouse.
((("mouse" "is" "red" "+") ("mouse" "chases" "cat" "+")) -> ("cat" "chases" "mouse" "+"))
If someone is green then they chase the cat.
((("someone" "is" "green" "+")) -> ("someone" "chases" "cat" "+"))
If the cow chases the mouse and the mouse is round then the cow is round.
((("cow" "chases" "mouse" "+") ("mouse" "is" "round" "+")) -> ("cow" "is" "round" "+"))
If someone is big then they eat the cow.
((("someone" "is" "big" "+")) -> ("someone" "eats" "cow" "+"))
The cow eats the cat.
True
1
proof
[(triple7)]
("cow" "eats" "cat" "+")
triple7
The mouse does not see the cow.
False
1
inv-proof
[(triple15)]
("mouse" "sees" "cow" "-")
triple15
The cat chases the cat.
True
2
proof
[(((triple3) -> rule4))]
("cat" "chases" "cat" "+")
((triple3) -> (rule4 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat does not chase the cat.
False
2
inv-proof
[(((triple3) -> rule4))]
("cat" "chases" "cat" "-")
((triple3) -> (rule4 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The mouse does not see the cat.
Unknown
inv-rconc
[@1: The mouse sees the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "sees" "cat" "-")
The cow is round.
Unknown
rconc
[@1: The cow is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "round" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The cat chases the cow.
Unknown
random
[@0: The cat chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cow" "+")
@0: The cat chases the mouse.[(triple1 OR ((triple14 triple11) -> rule3))] The cat eats the cow.[(triple2)] The cat is green.[(triple3)] The cat is nice.[(triple4)] The cat sees the cow.[(triple5)] The cow chases the cat.[(triple6)] The cow eats the cat.[(triple7)] The cow is red.[(triple8)] The cow sees the cat.[(triple9)] The cow sees the mouse.[(triple10)] The mouse chases the cat.[(triple11)] The mouse eats the cat.[(triple12 OR ((triple10) -> rule1))] The mouse is nice.[(triple13)] The mouse is red.[(triple14)] The mouse sees the cow.[(triple15)] @1: The cat chases the cat.[(((triple3) -> rule4))]
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple1
((triple14 triple11) -> (rule3 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The cat eats the cow.
("cat" "eats" "cow" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat sees the cow.
("cat" "sees" "cow" "+")
triple5
The cow chases the cat.
("cow" "chases" "cat" "+")
triple6
The cow eats the cat.
("cow" "eats" "cat" "+")
triple7
The cow is red.
("cow" "is" "red" "+")
triple8
The cow sees the cat.
("cow" "sees" "cat" "+")
triple9
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple10
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple11
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple12
((triple10) -> (rule1 % int1))
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
triple13
The mouse is red.
("mouse" "is" "red" "+")
triple14
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple15
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple3) -> (rule4 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1