Gary is big. Gary is nice. Gary is young. Quiet things are rough. If something is young and not quiet then it is white. If something is quiet and not rough then it is big. All big things are blue. If something is rough then it is nice. All big things are nice.
Gary is big.
("Gary" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Quiet things are rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If something is young and not quiet then it is white.
((("something" "is" "young" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "white" "+"))
If something is quiet and not rough then it is big.
((("something" "is" "quiet" "+") ("something" "is" "rough" "~")) -> ("something" "is" "big" "+"))
All big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If something is rough then it is nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
All big things are nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
Gary is big.
True
1
proof
[(triple1)]
("Gary" "is" "big" "+")
triple1
Gary is not young.
False
1
inv-proof
[(triple3)]
("Gary" "is" "young" "-")
triple3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Gary is big.[(triple1)] Gary is nice.[(triple2 OR ((triple1) -> rule6))] Gary is young.[(triple3)] @1: Gary is blue.[(((triple1) -> rule4))]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is nice.
("Gary" "is" "nice" "+")
triple2
((triple1) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1