Harry is not big. Harry is furry. Harry is nice. Furry things are young. If something is nice and big then it is not red.
Harry is not big.
("Harry" "is" "big" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Furry things are young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
If something is nice and big then it is not red.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "-"))
Harry is nice.
True
1
proof
[(triple3)]
("Harry" "is" "nice" "+")
triple3
Harry is big.
False
1
inv-proof
[(triple1)]
("Harry" "is" "big" "+")
triple1
Harry is young.
True
2
proof
[(((triple2) -> rule1))]
("Harry" "is" "young" "+")
((triple2) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple2) -> rule1))]
("Harry" "is" "young" "-")
((triple2) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Harry is furry.[(triple2)] Harry is nice.[(triple3)] Harry is not big.[(triple1)] @1: Harry is young.[(((triple2) -> rule1))]
Harry is furry.
("Harry" "is" "furry" "+")
triple2
Harry is nice.
("Harry" "is" "nice" "+")
triple3
Harry is not big.
("Harry" "is" "big" "-")
triple1
Harry is young.
("Harry" "is" "young" "+")
((triple2) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1