Gary is furry. Harry is white. All smart things are nice. All round things are furry.
Gary is furry.
("Gary" "is" "furry" "+")
Harry is white.
("Harry" "is" "white" "+")
All smart things are nice.
((("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
All round things are furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
Harry is white.
True
1
proof
[(triple2)]
("Harry" "is" "white" "+")
triple2
Harry is not white.
False
1
inv-proof
[(triple2)]
("Harry" "is" "white" "-")
triple2
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Gary is furry.[(triple1)] Harry is white.[(triple2)]
Gary is furry.
("Gary" "is" "furry" "+")
triple1
Harry is white.
("Harry" "is" "white" "+")
triple2