Anne is big. Anne is not nice. Anne is young. If something is young and not nice then it is furry. All furry, young things are not smart.
Anne is big.
("Anne" "is" "big" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is young.
("Anne" "is" "young" "+")
If something is young and not nice then it is furry.
((("something" "is" "young" "+") ("something" "is" "nice" "~")) -> ("something" "is" "furry" "+"))
All furry, young things are not smart.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "smart" "-"))
Anne is young.
True
1
proof
[(triple3)]
("Anne" "is" "young" "+")
triple3
Anne is not young.
False
1
inv-proof
[(triple3)]
("Anne" "is" "young" "-")
triple3
Anne is furry.
True
3
proof
[(((triple3 triple2) -> rule1))]
("Anne" "is" "furry" "+")
((triple3 triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("Anne" "is" "furry" "-")
((triple3 triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not smart.
True
5
proof
[(((((triple3 triple2) -> rule1) triple3) -> rule2))]
("Anne" "is" "smart" "-")
((((triple3 triple2) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Anne is not smart.
("Anne" "is" "smart" "-")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is smart.
False
5
inv-proof
[(((((triple3 triple2) -> rule1) triple3) -> rule2))]
("Anne" "is" "smart" "+")
((((triple3 triple2) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Anne is not smart.
("Anne" "is" "smart" "-")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is big.[(triple1)] Anne is not nice.[(triple2)] Anne is young.[(triple3)] @1: Anne is furry.[(((triple3 triple2) -> rule1))] @2: Anne is not smart.[(((((triple3 triple2) -> rule1) triple3) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is not nice.
("Anne" "is" "nice" "-")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Anne is furry.
("Anne" "is" "furry" "+")
((triple3 triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not smart.
("Anne" "is" "smart" "-")
((((triple3 triple2) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Anne is not smart.
("Anne" "is" "smart" "-")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2