Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is young. Harry is kind. Harry is smart. If something is nice then it is white. If Harry is nice and Harry is smart then Harry is green. If Harry is nice and Harry is furry then Harry is white.
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is nice then it is white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
If Harry is nice and Harry is smart then Harry is green.
((("Harry" "is" "nice" "+") ("Harry" "is" "smart" "+")) -> ("Harry" "is" "green" "+"))
If Harry is nice and Harry is furry then Harry is white.
((("Harry" "is" "nice" "+") ("Harry" "is" "furry" "+")) -> ("Harry" "is" "white" "+"))
Gary is kind.
True
1
proof
[(triple3)]
("Gary" "is" "kind" "+")
triple3
Gary is not nice.
False
1
inv-proof
[(triple4)]
("Gary" "is" "nice" "-")
triple4
Gary is white.
True
2
proof
[(((triple4) -> rule1))]
("Gary" "is" "white" "+")
((triple4) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple4) -> rule1))]
("Gary" "is" "white" "-")
((triple4) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is white.
Unknown
rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "white" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Gary is furry.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3)] Gary is nice.[(triple4)] Gary is young.[(triple5)] Harry is kind.[(triple6)] Harry is smart.[(triple7)] @1: Gary is white.[(((triple4) -> rule1))]
Gary is furry.
("Gary" "is" "furry" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Gary is white.
("Gary" "is" "white" "+")
((triple4) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1