The cat chases the mouse. The cat chases the tiger. The cat does not eat the mouse. The cat is not red. The cat is young. The mouse chases the cat. The mouse chases the tiger. The mouse is green. The mouse is kind. The mouse is not red. The mouse is rough. The mouse likes the cat. The tiger is green. The tiger is rough. The tiger likes the mouse. If something is kind then it chases the tiger. If the mouse is kind and the mouse is not rough then the mouse eats the cat. If something is red then it likes the cat. If something likes the tiger then it does not like the mouse. If the mouse likes the tiger and the cat does not chase the mouse then the tiger chases the mouse. If something is young then it is not green.
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat does not eat the mouse.
("cat" "eats" "mouse" "-")
The cat is not red.
("cat" "is" "red" "-")
The cat is young.
("cat" "is" "young" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is not red.
("mouse" "is" "red" "-")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
If something is kind then it chases the tiger.
((("something" "is" "kind" "+")) -> ("something" "chases" "tiger" "+"))
If the mouse is kind and the mouse is not rough then the mouse eats the cat.
((("mouse" "is" "kind" "+") ("mouse" "is" "rough" "~")) -> ("mouse" "eats" "cat" "+"))
If something is red then it likes the cat.
((("something" "is" "red" "+")) -> ("something" "likes" "cat" "+"))
If something likes the tiger then it does not like the mouse.
((("something" "likes" "tiger" "+")) -> ("something" "likes" "mouse" "-"))
If the mouse likes the tiger and the cat does not chase the mouse then the tiger chases the mouse.
((("mouse" "likes" "tiger" "+") ("cat" "chases" "mouse" "~")) -> ("tiger" "chases" "mouse" "+"))
If something is young then it is not green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "-"))
The cat does not eat the mouse.
True
1
proof
[(triple3)]
("cat" "eats" "mouse" "-")
triple3
The cat is red.
False
1
inv-proof
[(triple4)]
("cat" "is" "red" "+")
triple4
The tiger does not like the cat.
Unknown
inv-rconc
[@1: The tiger likes the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "likes" "cat" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The cat chases the mouse.[(triple1)] The cat chases the tiger.[(triple2)] The cat does not eat the mouse.[(triple3)] The cat is not red.[(triple4)] The cat is young.[(triple5)] The mouse chases the cat.[(triple6)] The mouse chases the tiger.[(triple7 OR ((triple9) -> rule1))] The mouse is green.[(triple8)] The mouse is kind.[(triple9)] The mouse is not red.[(triple10)] The mouse is rough.[(triple11)] The mouse likes the cat.[(triple12)] The tiger is green.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the mouse.[(triple15)] @1: The cat is not green.[(((triple5) -> rule6))]
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple2
The cat does not eat the mouse.
("cat" "eats" "mouse" "-")
triple3
The cat is not red.
("cat" "is" "red" "-")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple6
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple7
((triple9) -> (rule1 % int1))
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
triple8
The mouse is kind.
("mouse" "is" "kind" "+")
triple9
The mouse is not red.
("mouse" "is" "red" "-")
triple10
The mouse is rough.
("mouse" "is" "rough" "+")
triple11
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple12
The tiger is green.
("tiger" "is" "green" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple15
The cat is not green.
("cat" "is" "green" "-")
((triple5) -> (rule6 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1