The cat chases the cow. The cat is not red. The cat is rough. The cat does not visit the mouse. The cat does not visit the tiger. The cow chases the cat. The cow is rough. The mouse chases the cat. The mouse is cold. The mouse is not red. The mouse is rough. The mouse likes the cat. The mouse likes the cow. The mouse visits the tiger. The tiger does not chase the cow. The tiger is blue. All young, blue people are cold. If someone is young and they visit the cat then the cat is cold. If the mouse visits the cat and the mouse is not blue then the cat does not like the cow. If the cow chases the mouse then the cow visits the cat. If someone chases the cow then the cow is young. If someone visits the mouse then they visit the cow. If the tiger likes the mouse and the tiger is not cold then the mouse chases the cat. If someone visits the tiger and they do not like the cow then the tiger is not red.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is not red.
("cat" "is" "red" "-")
The cat is rough.
("cat" "is" "rough" "+")
The cat does not visit the mouse.
("cat" "visits" "mouse" "-")
The cat does not visit the tiger.
("cat" "visits" "tiger" "-")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow is rough.
("cow" "is" "rough" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is not red.
("mouse" "is" "red" "-")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger does not chase the cow.
("tiger" "chases" "cow" "-")
The tiger is blue.
("tiger" "is" "blue" "+")
All young, blue people are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and they visit the cat then the cat is cold.
((("someone" "is" "young" "+") ("someone" "visits" "cat" "+")) -> ("cat" "is" "cold" "+"))
If the mouse visits the cat and the mouse is not blue then the cat does not like the cow.
((("mouse" "visits" "cat" "+") ("mouse" "is" "blue" "~")) -> ("cat" "likes" "cow" "-"))
If the cow chases the mouse then the cow visits the cat.
((("cow" "chases" "mouse" "+")) -> ("cow" "visits" "cat" "+"))
If someone chases the cow then the cow is young.
((("someone" "chases" "cow" "+")) -> ("cow" "is" "young" "+"))
If someone visits the mouse then they visit the cow.
((("someone" "visits" "mouse" "+")) -> ("someone" "visits" "cow" "+"))
If the tiger likes the mouse and the tiger is not cold then the mouse chases the cat.
((("tiger" "likes" "mouse" "+") ("tiger" "is" "cold" "~")) -> ("mouse" "chases" "cat" "+"))
If someone visits the tiger and they do not like the cow then the tiger is not red.
((("someone" "visits" "tiger" "+") ("someone" "likes" "cow" "~")) -> ("tiger" "is" "red" "-"))
The cow is rough.
True
1
proof
[(triple7)]
("cow" "is" "rough" "+")
triple7
The cat is red.
False
1
inv-proof
[(triple2)]
("cat" "is" "red" "+")
triple2
The cow is young.
True
2
proof
[(((triple1) -> rule5))]
("cow" "is" "young" "+")
((triple1) -> (rule5 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not young.
False
2
inv-proof
[(((triple1) -> rule5))]
("cow" "is" "young" "-")
((triple1) -> (rule5 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow does not visit the cow.
Unknown
inv-rconc
[@1: The cow visits the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "visits" "cow" "-")
The tiger visits the cow.
Unknown
rconc
[@1: The tiger visits the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "visits" "cow" "+")
The cow does not visit the tiger.
Unknown
inv-random
[@0: The cow visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "tiger" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The cat chases the cow.[(triple1)] The cat does not visit the mouse.[(triple4)] The cat does not visit the tiger.[(triple5)] The cat is not red.[(triple2)] The cat is rough.[(triple3)] The cow chases the cat.[(triple6)] The cow is rough.[(triple7)] The mouse chases the cat.[(triple8)] The mouse is cold.[(triple9)] The mouse is not red.[(triple10)] The mouse is rough.[(triple11)] The mouse likes the cat.[(triple12)] The mouse likes the cow.[(triple13)] The mouse visits the tiger.[(triple14)] The tiger does not chase the cow.[(triple15)] The tiger is blue.[(triple16)] @1: The cow is young.[(((triple1) -> rule5))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat does not visit the mouse.
("cat" "visits" "mouse" "-")
triple4
The cat does not visit the tiger.
("cat" "visits" "tiger" "-")
triple5
The cat is not red.
("cat" "is" "red" "-")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cow chases the cat.
("cow" "chases" "cat" "+")
triple6
The cow is rough.
("cow" "is" "rough" "+")
triple7
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple8
The mouse is cold.
("mouse" "is" "cold" "+")
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 mouse likes the cow.
("mouse" "likes" "cow" "+")
triple13
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple14
The tiger does not chase the cow.
("tiger" "chases" "cow" "-")
triple15
The tiger is blue.
("tiger" "is" "blue" "+")
triple16
The cow is young.
("cow" "is" "young" "+")
((triple1) -> (rule5 % int1))
The cow is young.
("cow" "is" "young" "+")
int1