Fiona is smart. If something is rough and blue then it is cold. If something is blue and round then it is smart. If something is rough and round then it is smart. All blue, rough things are round. All blue things are round. Blue things are young.
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is rough and blue then it is cold.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If something is blue and round then it is smart.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
If something is rough and round then it is smart.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
All blue, rough things are round.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
All blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Fiona is smart.
True
1
proof
[(triple1)]
("Fiona" "is" "smart" "+")
triple1
Fiona is not smart.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "smart" "-")
triple1
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Fiona is smart.[(triple1)]
Fiona is smart.
("Fiona" "is" "smart" "+")
triple1