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