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