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