Anne is big. Anne is kind. Anne is white. All furry, rough people are big. Kind, rough people are furry. If someone is kind then they are rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is white.
("Anne" "is" "white" "+")
All furry, rough people are big.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Kind, rough people are furry.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
If someone is kind then they are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Anne is white.
True
1
proof
[(triple3)]
("Anne" "is" "white" "+")
triple3
Anne is not white.
False
1
inv-proof
[(triple3)]
("Anne" "is" "white" "-")
triple3
Anne is rough.
True
2
proof
[(((triple2) -> rule3))]
("Anne" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple2) -> rule3))]
("Anne" "is" "rough" "-")
((triple2) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
True
4
proof
[(((triple2 ((triple2) -> rule3)) -> rule2))]
("Anne" "is" "furry" "+")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not furry.
False
4
inv-proof
[(((triple2 ((triple2) -> rule3)) -> rule2))]
("Anne" "is" "furry" "-")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is big.[(triple1 OR ((((triple2 ((triple2) -> rule3)) -> rule2) ((triple2) -> rule3)) -> rule1))] Anne is kind.[(triple2)] Anne is white.[(triple3)] @1: Anne is rough.[(((triple2) -> rule3))] @2: Anne is furry.[(((triple2 ((triple2) -> rule3)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((((triple2 ((triple2) -> (rule3 % int3))) -> (rule2 % int2)) ((triple2) -> (rule3 % int3))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2