The cow chases the mouse. The cow sees the rabbit. The mouse does not chase the rabbit. The mouse is not cold. The mouse is green. The mouse sees the rabbit. The mouse sees the tiger. The mouse does not visit the rabbit. The rabbit does not chase the cow. The rabbit chases the tiger. The rabbit sees the mouse. The rabbit visits the mouse. The rabbit does not visit the tiger. The tiger does not chase the cow. The tiger sees the cow. The tiger sees the mouse. If someone visits the tiger then they chase the mouse. If someone sees the cow and the cow is cold then the cow does not see the rabbit. If someone chases the tiger and the tiger is cold then the tiger is green. If someone is young and they visit the cow then they do not see the mouse. If someone chases the tiger then the tiger is cold. If the rabbit sees the cow then the cow is round.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The mouse does not chase the rabbit.
("mouse" "chases" "rabbit" "-")
The mouse is not cold.
("mouse" "is" "cold" "-")
The mouse is green.
("mouse" "is" "green" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The mouse does not visit the rabbit.
("mouse" "visits" "rabbit" "-")
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
The rabbit does not visit the tiger.
("rabbit" "visits" "tiger" "-")
The tiger does not chase the cow.
("tiger" "chases" "cow" "-")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If someone visits the tiger then they chase the mouse.
((("someone" "visits" "tiger" "+")) -> ("someone" "chases" "mouse" "+"))
If someone sees the cow and the cow is cold then the cow does not see the rabbit.
((("someone" "sees" "cow" "+") ("cow" "is" "cold" "+")) -> ("cow" "sees" "rabbit" "-"))
If someone chases the tiger and the tiger is cold then the tiger is green.
((("someone" "chases" "tiger" "+") ("tiger" "is" "cold" "+")) -> ("tiger" "is" "green" "+"))
If someone is young and they visit the cow then they do not see the mouse.
((("someone" "is" "young" "+") ("someone" "visits" "cow" "+")) -> ("someone" "sees" "mouse" "-"))
If someone chases the tiger then the tiger is cold.
((("someone" "chases" "tiger" "+")) -> ("tiger" "is" "cold" "+"))
If the rabbit sees the cow then the cow is round.
((("rabbit" "sees" "cow" "+")) -> ("cow" "is" "round" "+"))
The mouse does not visit the rabbit.
True
1
proof
[(triple8)]
("mouse" "visits" "rabbit" "-")
triple8
The mouse does not see the rabbit.
False
1
inv-proof
[(triple6)]
("mouse" "sees" "rabbit" "-")
triple6
The tiger is cold.
True
2
proof
[(((triple10) -> rule5))]
("tiger" "is" "cold" "+")
((triple10) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is not cold.
False
2
inv-proof
[(((triple10) -> rule5))]
("tiger" "is" "cold" "-")
((triple10) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is green.
True
4
proof
[(((triple10 ((triple10) -> rule5)) -> rule3))]
("tiger" "is" "green" "+")
((triple10 ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The tiger is not green.
False
4
inv-proof
[(((triple10 ((triple10) -> rule5)) -> rule3))]
("tiger" "is" "green" "-")
((triple10 ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The cow is not round.
Unknown
inv-rconc
[@1: The cow is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "round" "-")
The tiger chases the mouse.
Unknown
rconc
[@1: The tiger chases the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "chases" "mouse" "+")
The mouse does not chase the mouse.
Unknown
inv-rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "chases" "mouse" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
The tiger does not visit the cow.
Unknown
inv-random
[@0: The tiger visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "cow" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The cow chases the mouse.[(triple1)] The cow sees the rabbit.[(triple2)] The mouse does not chase the rabbit.[(triple3)] The mouse does not visit the rabbit.[(triple8)] The mouse is green.[(triple5)] The mouse is not cold.[(triple4)] The mouse sees the rabbit.[(triple6)] The mouse sees the tiger.[(triple7)] The rabbit chases the tiger.[(triple10)] The rabbit does not chase the cow.[(triple9)] The rabbit does not visit the tiger.[(triple13)] The rabbit sees the mouse.[(triple11)] The rabbit visits the mouse.[(triple12)] The tiger does not chase the cow.[(triple14)] The tiger sees the cow.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The tiger is cold.[(((triple10) -> rule5))] @2: The tiger is green.[(((triple10 ((triple10) -> rule5)) -> rule3))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple2
The mouse does not chase the rabbit.
("mouse" "chases" "rabbit" "-")
triple3
The mouse does not visit the rabbit.
("mouse" "visits" "rabbit" "-")
triple8
The mouse is green.
("mouse" "is" "green" "+")
triple5
The mouse is not cold.
("mouse" "is" "cold" "-")
triple4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple6
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple7
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple10
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
triple9
The rabbit does not visit the tiger.
("rabbit" "visits" "tiger" "-")
triple13
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple11
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple12
The tiger does not chase the cow.
("tiger" "chases" "cow" "-")
triple14
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple15
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple16
The tiger is cold.
("tiger" "is" "cold" "+")
((triple10) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
((triple10 ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2