Anne is big. Dave is young. Gary is quiet. Harry is quiet. If something is rough and big then it is young. All quiet things are kind.
Anne is big.
("Anne" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If something is rough and big then it is young.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
All quiet things are kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Dave is not young.
False
1
inv-proof
[(triple2)]
("Dave" "is" "young" "-")
triple2
Harry is kind.
True
2
proof
[(((triple4) -> rule2))]
("Harry" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
2
inv-proof
[(((triple4) -> rule2))]
("Harry" "is" "kind" "-")
((triple4) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "young" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is big.[(triple1)] Dave is young.[(triple2)] Gary is quiet.[(triple3)] Harry is quiet.[(triple4)] @1: Gary is kind.[(((triple3) -> rule2))] Harry is kind.[(((triple4) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1