Fiona is round. Gary is cold. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is white. If Fiona is rough then Fiona is green. If Gary is rough and Gary is kind then Gary is green. All green, quiet people are white.
Fiona is round.
("Fiona" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
If Fiona is rough then Fiona is green.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "green" "+"))
If Gary is rough and Gary is kind then Gary is green.
((("Gary" "is" "rough" "+") ("Gary" "is" "kind" "+")) -> ("Gary" "is" "green" "+"))
All green, quiet people are white.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
Gary is kind.
True
1
proof
[(triple4)]
("Gary" "is" "kind" "+")
triple4
Gary is not quiet.
False
1
inv-proof
[(triple5)]
("Gary" "is" "quiet" "-")
triple5
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Fiona is round.[(triple1)] Gary is cold.[(triple2)] Gary is green.[(triple3 OR ((triple6 triple4) -> rule2))] Gary is kind.[(triple4)] Gary is quiet.[(triple5)] Gary is rough.[(triple6)] Gary is white.[(triple7 OR ((triple3 triple5) -> rule3) OR ((((triple6 triple4) -> rule2) triple5) -> rule3))]
Fiona is round.
("Fiona" "is" "round" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3
((triple6 triple4) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
((triple3 triple5) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple6 triple4) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2