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