Fiona is young. If something is rough and kind then it is round. If Fiona is young then Fiona is smart. All rough, white things are young. All young, round things are rough. All kind, blue things are white. If something is rough then it is kind.
Fiona is young.
("Fiona" "is" "young" "+")
If something is rough and kind then it is round.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If Fiona is young then Fiona is smart.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "smart" "+"))
All rough, white things are young.
((("something" "is" "rough" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
All young, round things are rough.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
All kind, blue things are white.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
If something is rough then it is kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Fiona is young.
True
1
proof
[(triple1)]
("Fiona" "is" "young" "+")
triple1
Fiona is not young.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "young" "-")
triple1
Fiona is smart.
True
2
proof
[(((triple1) -> rule2))]
("Fiona" "is" "smart" "+")
((triple1) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple1) -> rule2))]
("Fiona" "is" "smart" "-")
((triple1) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not rough.
Unknown
inv-rconc
[@2: Fiona is rough.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "white" "+")
@0: Fiona is young.[(triple1)] @1: Fiona is smart.[(((triple1) -> rule2))]
Fiona is young.
("Fiona" "is" "young" "+")
triple1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple1) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1