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