The cow does not chase the lion. The cow chases the squirrel. The cow is green. The lion visits the cow. The squirrel eats the lion. The squirrel does not visit the cow. The squirrel visits the lion. The tiger chases the squirrel. The tiger does not eat the squirrel. The tiger is young. All green people are young. If someone eats the tiger then the tiger does not visit the squirrel. If someone is young then they chase the cow. If someone visits the cow then they are green. If the squirrel chases the tiger and the tiger is cold then the squirrel is rough. If someone eats the tiger then they are rough. If someone is young and they visit the squirrel then they are not rough. If someone chases the tiger then the tiger visits the lion.
The cow does not chase the lion.
("cow" "chases" "lion" "-")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is green.
("cow" "is" "green" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
The tiger is young.
("tiger" "is" "young" "+")
All green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone eats the tiger then the tiger does not visit the squirrel.
((("someone" "eats" "tiger" "+")) -> ("tiger" "visits" "squirrel" "-"))
If someone is young then they chase the cow.
((("someone" "is" "young" "+")) -> ("someone" "chases" "cow" "+"))
If someone visits the cow then they are green.
((("someone" "visits" "cow" "+")) -> ("someone" "is" "green" "+"))
If the squirrel chases the tiger and the tiger is cold then the squirrel is rough.
((("squirrel" "chases" "tiger" "+") ("tiger" "is" "cold" "+")) -> ("squirrel" "is" "rough" "+"))
If someone eats the tiger then they are rough.
((("someone" "eats" "tiger" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and they visit the squirrel then they are not rough.
((("someone" "is" "young" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "is" "rough" "-"))
If someone chases the tiger then the tiger visits the lion.
((("someone" "chases" "tiger" "+")) -> ("tiger" "visits" "lion" "+"))
The squirrel eats the lion.
True
1
proof
[(triple5)]
("squirrel" "eats" "lion" "+")
triple5
The lion does not visit the cow.
False
1
inv-proof
[(triple4)]
("lion" "visits" "cow" "-")
triple4
The cow is young.
True
2
proof
[(((triple3) -> rule1))]
("cow" "is" "young" "+")
((triple3) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not young.
False
2
inv-proof
[(((triple3) -> rule1))]
("cow" "is" "young" "-")
((triple3) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow chases the cow.
True
3
proof
[(((((triple3) -> rule1)) -> rule3))]
("cow" "chases" "cow" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The lion is not young.
False
3
inv-proof
[(((((triple4) -> rule4)) -> rule1))]
("lion" "is" "young" "-")
((((triple4) -> (rule4 % int2))) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The cow is not rough.
Unknown
inv-rconc
[@1: The cow is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "rough" "-")
The squirrel is rough.
Unknown
rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "is" "rough" "+")
The lion is not rough.
Unknown
inv-rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "is" "rough" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
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 lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
@0: The cow chases the squirrel.[(triple2)] The cow does not chase the lion.[(triple1)] The cow is green.[(triple3)] The lion visits the cow.[(triple4)] The squirrel does not visit the cow.[(triple6)] The squirrel eats the lion.[(triple5)] The squirrel visits the lion.[(triple7)] The tiger chases the squirrel.[(triple8)] The tiger does not eat the squirrel.[(triple9)] The tiger is young.[(triple10)] @1: The cow is young.[(((triple3) -> rule1))] The lion is green.[(((triple4) -> rule4))] The tiger chases the cow.[(((triple10) -> rule3))] @2: The cow chases the cow.[(((((triple3) -> rule1)) -> rule3))] The lion is young.[(((((triple4) -> rule4)) -> rule1))] @3: The lion chases the cow.[(((((((triple4) -> rule4)) -> rule1)) -> rule3))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
The cow does not chase the lion.
("cow" "chases" "lion" "-")
triple1
The cow is green.
("cow" "is" "green" "+")
triple3
The lion visits the cow.
("lion" "visits" "cow" "+")
triple4
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
triple6
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple5
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple7
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple8
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
triple9
The tiger is young.
("tiger" "is" "young" "+")
triple10
The cow is young.
("cow" "is" "young" "+")
((triple3) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
((triple4) -> (rule4 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The tiger chases the cow.
("tiger" "chases" "cow" "+")
((triple10) -> (rule3 % int1))
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The lion is young.
("lion" "is" "young" "+")
((((triple4) -> (rule4 % int2))) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion chases the cow.
("lion" "chases" "cow" "+")
((((((triple4) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The lion chases the cow.
("lion" "chases" "cow" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3