The bear is green. The bear sees the cat. The bear sees the tiger. The cat is big. The squirrel is rough. The squirrel sees the cat. The squirrel does not see the tiger. The squirrel visits the cat. The tiger chases the bear. The tiger is green. If someone is rough then they are big.
The bear is green.
("bear" "is" "green" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The cat is big.
("cat" "is" "big" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is green.
("tiger" "is" "green" "+")
If someone is rough then they are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
The cat is big.
True
1
proof
[(triple4)]
("cat" "is" "big" "+")
triple4
The cat is not big.
False
1
inv-proof
[(triple4)]
("cat" "is" "big" "-")
triple4
The squirrel is big.
True
2
proof
[(((triple5) -> rule1))]
("squirrel" "is" "big" "+")
((triple5) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is not big.
False
2
inv-proof
[(((triple5) -> rule1))]
("squirrel" "is" "big" "-")
((triple5) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The bear is not big.
Unknown
inv-rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "big" "-")
The tiger is big.
Unknown
rconc
[@1: The tiger is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "big" "+")
The cat does not see the tiger.
Unknown
inv-random
[@0: The cat sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "tiger" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The bear is green.[(triple1)] The bear sees the cat.[(triple2)] The bear sees the tiger.[(triple3)] The cat is big.[(triple4)] The squirrel does not see the tiger.[(triple7)] The squirrel is rough.[(triple5)] The squirrel sees the cat.[(triple6)] The squirrel visits the cat.[(triple8)] The tiger chases the bear.[(triple9)] The tiger is green.[(triple10)] @1: The squirrel is big.[(((triple5) -> rule1))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear sees the cat.
("bear" "sees" "cat" "+")
triple2
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple3
The cat is big.
("cat" "is" "big" "+")
triple4
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
triple7
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple5
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple6
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple8
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple9
The tiger is green.
("tiger" "is" "green" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
((triple5) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1