Anne is smart. Erin is round. Fiona is kind. If someone is red then they are rough. If someone is round and blue then they are kind. All rough, round people are smart. Rough people are kind. All blue people are kind. If someone is red then they are smart.
Anne is smart.
("Anne" "is" "smart" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
If someone is red then they are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and blue then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
All rough, round people are smart.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
Rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
All blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is red then they are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
Erin is round.
True
1
proof
[(triple2)]
("Erin" "is" "round" "+")
triple2
Anne is not smart.
False
1
inv-proof
[(triple1)]
("Anne" "is" "smart" "-")
triple1
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "rough" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is smart.[(triple1)] Erin is round.[(triple2)] Fiona is kind.[(triple3)]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3