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