Anne is kind. Anne is quiet. Anne is smart. Dave is smart. Erin is big. Erin is rough. Fiona is rough. If Fiona is white and Fiona is smart then Fiona is kind. All rough, furry things are big. White things are big.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If Fiona is white and Fiona is smart then Fiona is kind.
((("Fiona" "is" "white" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "kind" "+"))
All rough, furry things are big.
((("something" "is" "rough" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
White things are big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
Erin is big.
True
1
proof
[(triple5)]
("Erin" "is" "big" "+")
triple5
Fiona is not rough.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "rough" "-")
triple7
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "big" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Dave is smart.[(triple4)] Erin is big.[(triple5)] Erin is rough.[(triple6)] Fiona is rough.[(triple7)]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7