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