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