Harry is green. Harry is kind. Harry is young. If Harry is red and Harry is green then Harry is young. If someone is green then they are red.
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is red and Harry is green then Harry is young.
((("Harry" "is" "red" "+") ("Harry" "is" "green" "+")) -> ("Harry" "is" "young" "+"))
If someone is green then they are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Harry is kind.
True
1
proof
[(triple2)]
("Harry" "is" "kind" "+")
triple2
Harry is not kind.
False
1
inv-proof
[(triple2)]
("Harry" "is" "kind" "-")
triple2
Harry is red.
True
2
proof
[(((triple1) -> rule2))]
("Harry" "is" "red" "+")
((triple1) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple1) -> rule2))]
("Harry" "is" "red" "-")
((triple1) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not smart.
Unknown
inv-random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Harry is green.[(triple1)] Harry is kind.[(triple2)] Harry is young.[(triple3 OR ((((triple1) -> rule2) triple1) -> rule1))] @1: Harry is red.[(((triple1) -> rule2))]
Harry is green.
("Harry" "is" "green" "+")
triple1
Harry is kind.
("Harry" "is" "kind" "+")
triple2
Harry is young.
("Harry" "is" "young" "+")
triple3
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple1) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1