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