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