Fiona is quiet. Nice things are quiet. All nice, kind things are blue. White, nice things are blue. All nice things are not blue. All nice things are big. If something is quiet then it is kind. If Fiona is quiet and Fiona is not nice then Fiona is red. If Fiona is quiet and Fiona is big then Fiona is red.
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Nice things are quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
All nice, kind things are blue.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
White, nice things are blue.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
All nice things are not blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "-"))
All nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
If something is quiet then it is kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
If Fiona is quiet and Fiona is not nice then Fiona is red.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "nice" "~")) -> ("Fiona" "is" "red" "+"))
If Fiona is quiet and Fiona is big then Fiona is red.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "red" "+"))
Fiona is quiet.
True
1
proof
[(triple1)]
("Fiona" "is" "quiet" "+")
triple1
Fiona is not quiet.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "quiet" "-")
triple1
Fiona is kind.
True
2
proof
[(((triple1) -> rule6))]
("Fiona" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple1) -> rule6))]
("Fiona" "is" "kind" "-")
((triple1) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "big" "-")
Fiona is red.
Unknown
rconc
[@2: Fiona is red.[CWA. Example of deepest failure = (rule8 <- rule5 <- FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Fiona is quiet.[(triple1)] @1: Fiona is kind.[(((triple1) -> rule6))]
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1