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