The bald eagle is big. The bald eagle is green. The bald eagle likes the squirrel. The bald eagle needs the cat. The bald eagle needs the squirrel. The bald eagle sees the squirrel. The cat is green. The cat is nice. The cat likes the bald eagle. The squirrel is green. The squirrel likes the bald eagle. The squirrel needs the cat. If something is rough then it is round. If the bald eagle is round and the bald eagle sees the cat then the cat likes the squirrel. If the bald eagle is nice and the bald eagle needs the squirrel then the squirrel is round. If something sees the squirrel then it is big. If something needs the squirrel then the squirrel is rough. If something is nice then it needs the squirrel. If something is nice then it sees the squirrel. If something is big then it sees the bald eagle.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
If something is rough then it is round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If the bald eagle is round and the bald eagle sees the cat then the cat likes the squirrel.
((("bald eagle" "is" "round" "+") ("bald eagle" "sees" "cat" "+")) -> ("cat" "likes" "squirrel" "+"))
If the bald eagle is nice and the bald eagle needs the squirrel then the squirrel is round.
((("bald eagle" "is" "nice" "+") ("bald eagle" "needs" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
If something sees the squirrel then it is big.
((("something" "sees" "squirrel" "+")) -> ("something" "is" "big" "+"))
If something needs the squirrel then the squirrel is rough.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If something is nice then it needs the squirrel.
((("something" "is" "nice" "+")) -> ("something" "needs" "squirrel" "+"))
If something is nice then it sees the squirrel.
((("something" "is" "nice" "+")) -> ("something" "sees" "squirrel" "+"))
If something is big then it sees the bald eagle.
((("something" "is" "big" "+")) -> ("something" "sees" "bald eagle" "+"))
The bald eagle sees the squirrel.
True
1
proof
[(triple6)]
("bald eagle" "sees" "squirrel" "+")
triple6
The cat does not like the bald eagle.
False
1
inv-proof
[(triple9)]
("cat" "likes" "bald eagle" "-")
triple9
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The bald eagle is big.[(triple1 OR ((triple6) -> rule4))] The bald eagle is green.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle needs the cat.[(triple4)] The bald eagle needs the squirrel.[(triple5)] The bald eagle sees the squirrel.[(triple6)] The cat is green.[(triple7)] The cat is nice.[(triple8)] The cat likes the bald eagle.[(triple9)] The squirrel is green.[(triple10)] The squirrel likes the bald eagle.[(triple11)] The squirrel needs the cat.[(triple12)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule8) OR ((((triple6) -> rule4)) -> rule8))] The cat needs the squirrel.[(((triple8) -> rule6))] The cat sees the squirrel.[(((triple8) -> rule7))] The squirrel is rough.[(((triple5) -> rule5) OR ((((triple8) -> rule6)) -> rule5))] @2: The cat is big.[(((((triple8) -> rule7)) -> rule4))] The squirrel is round.[(((((triple5) -> rule5)) -> rule1) OR ((((((triple8) -> rule6)) -> rule5)) -> rule1))] @3: The cat sees the bald eagle.[(((((((triple8) -> rule7)) -> rule4)) -> rule8))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
((triple6) -> (rule4 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple4
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple5
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple6
The cat is green.
("cat" "is" "green" "+")
triple7
The cat is nice.
("cat" "is" "nice" "+")
triple8
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple11
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple12
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple1) -> (rule8 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
((((triple6) -> (rule4 % int2))) -> (rule8 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
((triple8) -> (rule6 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
((triple8) -> (rule7 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple5) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int2
The cat is big.
("cat" "is" "big" "+")
((((triple8) -> (rule7 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
((((triple5) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((((triple8) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int3
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
((((((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int3