The cat chases the mouse. The cat chases the tiger. The cat is red. The cat is rough. The cat likes the tiger. The mouse chases the cat. The mouse chases the tiger. The mouse is blue. The mouse is red. The mouse likes the cat. The mouse likes the tiger. The mouse needs the tiger. The tiger chases the cat. The tiger is red. The tiger needs the cat. The tiger needs the mouse. If someone needs the tiger then they are green. All green people are not rough.
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
If someone needs the tiger then they are green.
((("someone" "needs" "tiger" "+")) -> ("someone" "is" "green" "+"))
All green people are not rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "-"))
The cat is red.
True
1
proof
[(triple3)]
("cat" "is" "red" "+")
triple3
The tiger does not chase the cat.
False
1
inv-proof
[(triple13)]
("tiger" "chases" "cat" "-")
triple13
The mouse is green.
True
2
proof
[(((triple12) -> rule1))]
("mouse" "is" "green" "+")
((triple12) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is not green.
False
2
inv-proof
[(((triple12) -> rule1))]
("mouse" "is" "green" "-")
((triple12) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The tiger is not green.
Unknown
inv-rconc
[@1: The tiger is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "green" "-")
The cat is green.
Unknown
rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "green" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat chases the mouse.[(triple1)] The cat chases the tiger.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat likes the tiger.[(triple5)] The mouse chases the cat.[(triple6)] The mouse chases the tiger.[(triple7)] The mouse is blue.[(triple8)] The mouse is red.[(triple9)] The mouse likes the cat.[(triple10)] The mouse likes the tiger.[(triple11)] The mouse needs the tiger.[(triple12)] The tiger chases the cat.[(triple13)] The tiger is red.[(triple14)] The tiger needs the cat.[(triple15)] The tiger needs the mouse.[(triple16)] @1: The mouse is green.[(((triple12) -> rule1))] @2: The mouse is not rough.[(((((triple12) -> rule1)) -> rule2))]
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple5
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple6
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The mouse is red.
("mouse" "is" "red" "+")
triple9
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple10
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple11
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple12
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple13
The tiger is red.
("tiger" "is" "red" "+")
triple14
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple15
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple16
The mouse is green.
("mouse" "is" "green" "+")
((triple12) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is not rough.
("mouse" "is" "rough" "-")
((((triple12) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is not rough.
("mouse" "is" "rough" "-")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2