Charlie is not rough. Fiona is kind. Gary is not kind. Harry is not red. If something is white then it is furry. If something is kind then it is white. If something is white and not kind then it is green. If Harry is white and Harry is furry then Harry is not green. If something is kind and not green then it is not quiet. If something is furry and not green then it is red.
Charlie is not rough.
("Charlie" "is" "rough" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Harry is not red.
("Harry" "is" "red" "-")
If something is white then it is furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
If something is kind then it is white.
((("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
If something is white and not kind then it is green.
((("something" "is" "white" "+") ("something" "is" "kind" "~")) -> ("something" "is" "green" "+"))
If Harry is white and Harry is furry then Harry is not green.
((("Harry" "is" "white" "+") ("Harry" "is" "furry" "+")) -> ("Harry" "is" "green" "-"))
If something is kind and not green then it is not quiet.
((("something" "is" "kind" "+") ("something" "is" "green" "~")) -> ("something" "is" "quiet" "-"))
If something is furry and not green then it is red.
((("something" "is" "furry" "+") ("something" "is" "green" "~")) -> ("something" "is" "red" "+"))
Gary is not kind.
True
1
proof
[(triple3)]
("Gary" "is" "kind" "-")
triple3
Charlie is rough.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "rough" "+")
triple1
Fiona is white.
True
2
proof
[(((triple2) -> rule2))]
("Fiona" "is" "white" "+")
((triple2) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple2) -> rule2))]
("Fiona" "is" "white" "-")
((triple2) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("Fiona" "is" "furry" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not furry.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("Fiona" "is" "furry" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "white" "-")
Charlie is furry.
Unknown
rconc
[@2: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "furry" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is not rough.[(triple1)] Fiona is kind.[(triple2)] Gary is not kind.[(triple3)] Harry is not red.[(triple4)] @1: Fiona is white.[(((triple2) -> rule2))] @2: Fiona is furry.[(((((triple2) -> rule2)) -> rule1))]
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Gary is not kind.
("Gary" "is" "kind" "-")
triple3
Harry is not red.
("Harry" "is" "red" "-")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
((triple2) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2