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