Anne is blue. Anne is furry. Anne is smart. Anne is not young. Harry is blue. Harry is kind. Harry is round. If something is blue then it is furry.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is not young.
("Anne" "is" "young" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is blue then it is furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Anne is smart.
True
1
proof
[(triple3)]
("Anne" "is" "smart" "+")
triple3
Anne is not smart.
False
1
inv-proof
[(triple3)]
("Anne" "is" "smart" "-")
triple3
Harry is furry.
True
2
proof
[(((triple5) -> rule1))]
("Harry" "is" "furry" "+")
((triple5) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not furry.
False
2
inv-proof
[(((triple5) -> rule1))]
("Harry" "is" "furry" "-")
((triple5) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple1) -> rule1))] Anne is not young.[(triple4)] Anne is smart.[(triple3)] Harry is blue.[(triple5)] Harry is kind.[(triple6)] Harry is round.[(triple7)] @1: Harry is furry.[(((triple5) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not young.
("Anne" "is" "young" "-")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
((triple5) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1