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