Fiona is smart. Gary is smart. If someone is smart then they are not quiet. Furry people are not kind. If someone is green and not young then they are kind. All smart, young people are red. If someone is kind and not smart then they are not green. If Fiona is not green then Fiona is quiet.
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is smart then they are not quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "-"))
Furry people are not kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "-"))
If someone is green and not young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "kind" "+"))
All smart, young people are red.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and not smart then they are not green.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "green" "-"))
If Fiona is not green then Fiona is quiet.
((("Fiona" "is" "green" "~")) -> ("Fiona" "is" "quiet" "+"))
Gary is smart.
True
1
proof
[(triple2)]
("Gary" "is" "smart" "+")
triple2
Fiona is not smart.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "smart" "-")
triple1
Gary is not quiet.
True
2
proof
[(((triple2) -> rule1))]
("Gary" "is" "quiet" "-")
((triple2) -> (rule1 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Gary is quiet.
False
2
inv-proof
[(((triple2) -> rule1))]
("Gary" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "red" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Fiona is smart.[(triple1)] Gary is smart.[(triple2)] @1: Fiona is not quiet.[(((triple1) -> rule1))] Gary is not quiet.[(((triple2) -> rule1))]
Fiona is smart.
("Fiona" "is" "smart" "+")
triple1
Gary is smart.
("Gary" "is" "smart" "+")
triple2
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Gary is not quiet.
("Gary" "is" "quiet" "-")
((triple2) -> (rule1 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1