Anne is smart. Charlie is quiet. Erin is quiet. Harry is smart. If something is kind and not smart then it is not cold. Smart things are not furry.
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is kind and not smart then it is not cold.
((("something" "is" "kind" "+") ("something" "is" "smart" "~")) -> ("something" "is" "cold" "-"))
Smart things are not furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "-"))
Charlie is quiet.
True
1
proof
[(triple2)]
("Charlie" "is" "quiet" "+")
triple2
Harry is not smart.
False
1
inv-proof
[(triple4)]
("Harry" "is" "smart" "-")
triple4
Anne is not furry.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "furry" "-")
((triple1) -> (rule2 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1
Harry is furry.
False
2
inv-proof
[(((triple4) -> rule2))]
("Harry" "is" "furry" "+")
((triple4) -> (rule2 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Anne is smart.[(triple1)] Charlie is quiet.[(triple2)] Erin is quiet.[(triple3)] Harry is smart.[(triple4)] @1: Anne is not furry.[(((triple1) -> rule2))] Harry is not furry.[(((triple4) -> rule2))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Harry is smart.
("Harry" "is" "smart" "+")
triple4
Anne is not furry.
("Anne" "is" "furry" "-")
((triple1) -> (rule2 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1
Harry is not furry.
("Harry" "is" "furry" "-")
((triple4) -> (rule2 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1