Anne is furry. Anne is quiet. Anne is not young. Dave is nice. Dave is round. Gary is quiet. Gary is young. Harry is kind. Harry is quiet. Harry is round. If Gary is quiet then Gary is young. All furry people are smart. If someone is round and young then they are nice. If someone is nice and not furry then they are kind. All smart people are kind. If someone is nice and not young then they are kind.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not young.
("Anne" "is" "young" "-")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
If Gary is quiet then Gary is young.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "young" "+"))
All furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If someone is round and young then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and not furry then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "kind" "+"))
All smart people are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and not young then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "kind" "+"))
Harry is round.
True
1
proof
[(triple10)]
("Harry" "is" "round" "+")
triple10
Anne is not quiet.
False
1
inv-proof
[(triple2)]
("Anne" "is" "quiet" "-")
triple2
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "smart" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is furry.[(triple1)] Anne is not young.[(triple3)] Anne is quiet.[(triple2)] Dave is nice.[(triple4)] Dave is round.[(triple5)] Gary is quiet.[(triple6)] Gary is young.[(triple7 OR ((triple6) -> rule1))] Harry is kind.[(triple8)] Harry is quiet.[(triple9)] Harry is round.[(triple10)] @1: Anne is smart.[(((triple1) -> rule2))] @2: Anne is kind.[(((((triple1) -> rule2)) -> rule5))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is not young.
("Anne" "is" "young" "-")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
((triple6) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Anne is smart.
("Anne" "is" "smart" "+")
((triple1) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2