The cat eats the tiger. The cat is green. The cat is round. The cat visits the tiger. The cow eats the mouse. The cow visits the cat. The mouse does not chase the cat. The mouse is not big. The mouse visits the cat. The tiger chases the mouse. The tiger eats the cat. The tiger eats the mouse. The tiger is not blue. The tiger is kind. The tiger visits the cow. If someone chases the mouse and the mouse is blue then they do not chase the tiger. If someone visits the mouse and they are kind then the mouse eats the cat. If someone is kind and round then they eat the tiger. If the mouse visits the tiger and the tiger eats the cat then the mouse is big. If someone eats the cat then they visit the mouse. If someone chases the mouse and they are blue then the mouse eats the tiger.
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is round.
("cat" "is" "round" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
The mouse is not big.
("mouse" "is" "big" "-")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is not blue.
("tiger" "is" "blue" "-")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If someone chases the mouse and the mouse is blue then they do not chase the tiger.
((("someone" "chases" "mouse" "+") ("mouse" "is" "blue" "+")) -> ("someone" "chases" "tiger" "-"))
If someone visits the mouse and they are kind then the mouse eats the cat.
((("someone" "visits" "mouse" "+") ("someone" "is" "kind" "+")) -> ("mouse" "eats" "cat" "+"))
If someone is kind and round then they eat the tiger.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "eats" "tiger" "+"))
If the mouse visits the tiger and the tiger eats the cat then the mouse is big.
((("mouse" "visits" "tiger" "+") ("tiger" "eats" "cat" "+")) -> ("mouse" "is" "big" "+"))
If someone eats the cat then they visit the mouse.
((("someone" "eats" "cat" "+")) -> ("someone" "visits" "mouse" "+"))
If someone chases the mouse and they are blue then the mouse eats the tiger.
((("someone" "chases" "mouse" "+") ("someone" "is" "blue" "+")) -> ("mouse" "eats" "tiger" "+"))
The mouse does not chase the cat.
True
1
proof
[(triple7)]
("mouse" "chases" "cat" "-")
triple7
The tiger is blue.
False
1
inv-proof
[(triple13)]
("tiger" "is" "blue" "+")
triple13
The tiger visits the mouse.
True
2
proof
[(((triple11) -> rule5))]
("tiger" "visits" "mouse" "+")
((triple11) -> (rule5 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
The tiger does not visit the mouse.
False
2
inv-proof
[(((triple11) -> rule5))]
("tiger" "visits" "mouse" "-")
((triple11) -> (rule5 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
The mouse eats the cat.
True
4
proof
[(((((triple11) -> rule5) triple14) -> rule2))]
("mouse" "eats" "cat" "+")
((((triple11) -> (rule5 % int2)) triple14) -> (rule2 % int1))
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
The mouse does not eat the cat.
False
4
inv-proof
[(((((triple11) -> rule5) triple14) -> rule2))]
("mouse" "eats" "cat" "-")
((((triple11) -> (rule5 % int2)) triple14) -> (rule2 % int1))
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
The mouse visits the mouse.
True
5
proof
[(((((((triple11) -> rule5) triple14) -> rule2)) -> rule5))]
("mouse" "visits" "mouse" "+")
((((((triple11) -> (rule5 % int3)) triple14) -> (rule2 % int2))) -> (rule5 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int2
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int3
The mouse does not visit the mouse.
False
5
inv-proof
[(((((((triple11) -> rule5) triple14) -> rule2)) -> rule5))]
("mouse" "visits" "mouse" "-")
((((((triple11) -> (rule5 % int3)) triple14) -> (rule2 % int2))) -> (rule5 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int2
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int3
The cow does not eat the tiger.
Unknown
inv-rconc
[@1: The cow eats the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "eats" "tiger" "-")
The mouse eats the tiger.
Unknown
rconc
[@1: The mouse eats the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "eats" "tiger" "+")
The cow does not visit the mouse.
Unknown
inv-rconc
[@1: The cow visits the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "visits" "mouse" "-")
The cat visits the mouse.
Unknown
rconc
[@1: The cat visits the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "visits" "mouse" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The cow does not eat the cat.
Unknown
inv-random
[@0: The cow eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cat" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The cat eats the tiger.[(triple1)] The cat is green.[(triple2)] The cat is round.[(triple3)] The cat visits the tiger.[(triple4)] The cow eats the mouse.[(triple5)] The cow visits the cat.[(triple6)] The mouse does not chase the cat.[(triple7)] The mouse is not big.[(triple8)] The mouse visits the cat.[(triple9)] The tiger chases the mouse.[(triple10)] The tiger eats the cat.[(triple11)] The tiger eats the mouse.[(triple12)] The tiger is kind.[(triple14)] The tiger is not blue.[(triple13)] The tiger visits the cow.[(triple15)] @1: The tiger visits the mouse.[(((triple11) -> rule5))] @2: The mouse eats the cat.[(((((triple11) -> rule5) triple14) -> rule2))] @3: The mouse visits the mouse.[(((((((triple11) -> rule5) triple14) -> rule2)) -> rule5))]
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple4
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple5
The cow visits the cat.
("cow" "visits" "cat" "+")
triple6
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
triple7
The mouse is not big.
("mouse" "is" "big" "-")
triple8
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple9
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple10
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple11
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple12
The tiger is kind.
("tiger" "is" "kind" "+")
triple14
The tiger is not blue.
("tiger" "is" "blue" "-")
triple13
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple15
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
((triple11) -> (rule5 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
The mouse eats the cat.
("mouse" "eats" "cat" "+")
((((triple11) -> (rule5 % int2)) triple14) -> (rule2 % int1))
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((((((triple11) -> (rule5 % int3)) triple14) -> (rule2 % int2))) -> (rule5 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int2
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int3