Erin is kind. Fiona is young. Gary is white. Harry is kind. All rough, round people are smart. White people are smart. All quiet, young people are smart.
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is kind.
("Harry" "is" "kind" "+")
All rough, round people are smart.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
White people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
All quiet, young people are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Fiona is young.
True
1
proof
[(triple2)]
("Fiona" "is" "young" "+")
triple2
Harry is not kind.
False
1
inv-proof
[(triple4)]
("Harry" "is" "kind" "-")
triple4
Gary is smart.
True
2
proof
[(((triple3) -> rule2))]
("Gary" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is not smart.
False
2
inv-proof
[(((triple3) -> rule2))]
("Gary" "is" "smart" "-")
((triple3) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Erin is not smart.
Unknown
inv-rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "smart" "-")
Fiona is smart.
Unknown
rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "smart" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Erin is kind.[(triple1)] Fiona is young.[(triple2)] Gary is white.[(triple3)] Harry is kind.[(triple4)] @1: Gary is smart.[(((triple3) -> rule2))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
triple2
Gary is white.
("Gary" "is" "white" "+")
triple3
Harry is kind.
("Harry" "is" "kind" "+")
triple4
Gary is smart.
("Gary" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1