The bald eagle chases the cow. The cow is nice. The cow is rough. The cow needs the tiger. The squirrel chases the bald eagle. The squirrel chases the cow. The squirrel chases the tiger. The squirrel is big. The squirrel likes the cow. The squirrel likes the tiger. The squirrel needs the cow. The tiger likes the cow. If someone is big then they chase the tiger. Blue people are nice. If someone needs the tiger then they are round. All nice people are big. If someone is nice and they need the squirrel then the squirrel chases the cow. If the squirrel is nice and the squirrel chases the bald eagle then the squirrel needs the bald eagle.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
If someone is big then they chase the tiger.
((("someone" "is" "big" "+")) -> ("someone" "chases" "tiger" "+"))
Blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone needs the tiger then they are round.
((("someone" "needs" "tiger" "+")) -> ("someone" "is" "round" "+"))
All nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and they need the squirrel then the squirrel chases the cow.
((("someone" "is" "nice" "+") ("someone" "needs" "squirrel" "+")) -> ("squirrel" "chases" "cow" "+"))
If the squirrel is nice and the squirrel chases the bald eagle then the squirrel needs the bald eagle.
((("squirrel" "is" "nice" "+") ("squirrel" "chases" "bald eagle" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
The squirrel chases the tiger.
True
1
proof
[(triple7 OR ((triple8) -> rule1))]
("squirrel" "chases" "tiger" "+")
triple7
((triple8) -> (rule1 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The cow is not rough.
False
1
inv-proof
[(triple3)]
("cow" "is" "rough" "-")
triple3
The cow is round.
True
2
proof
[(((triple4) -> rule3))]
("cow" "is" "round" "+")
((triple4) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is not big.
False
2
inv-proof
[(((triple2) -> rule4))]
("cow" "is" "big" "-")
((triple2) -> (rule4 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow chases the tiger.
True
3
proof
[(((((triple2) -> rule4)) -> rule1))]
("cow" "chases" "tiger" "+")
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow does not chase the tiger.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule1))]
("cow" "chases" "tiger" "-")
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "nice" "-")
The tiger is big.
Unknown
rconc
[@2: The tiger is big.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("tiger" "is" "big" "+")
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The tiger is not blue.
Unknown
inv-random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle chases the cow.[(triple1)] The cow is nice.[(triple2)] The cow is rough.[(triple3)] The cow needs the tiger.[(triple4)] The squirrel chases the bald eagle.[(triple5)] The squirrel chases the cow.[(triple6)] The squirrel chases the tiger.[(triple7 OR ((triple8) -> rule1))] The squirrel is big.[(triple8)] The squirrel likes the cow.[(triple9)] The squirrel likes the tiger.[(triple10)] The squirrel needs the cow.[(triple11)] The tiger likes the cow.[(triple12)] @1: The cow is big.[(((triple2) -> rule4))] The cow is round.[(((triple4) -> rule3))] @2: The cow chases the tiger.[(((((triple2) -> rule4)) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple5
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple6
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple7
((triple8) -> (rule1 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
triple8
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple9
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple10
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple11
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple12
The cow is big.
("cow" "is" "big" "+")
((triple2) -> (rule4 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is round.
("cow" "is" "round" "+")
((triple4) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2