Anne is rough. Bob is quiet. Fiona is round. Harry is round. If Harry is white then Harry is not kind. If something is furry then it is kind. All furry things are not quiet. If something is white then it is quiet. If Fiona is round then Fiona is furry. If Anne is kind and Anne is round then Anne is white.
Anne is rough.
("Anne" "is" "rough" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is round.
("Harry" "is" "round" "+")
If Harry is white then Harry is not kind.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "kind" "-"))
If something is furry then it is kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
All furry things are not quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "-"))
If something is white then it is quiet.
((("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is round then Fiona is furry.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "furry" "+"))
If Anne is kind and Anne is round then Anne is white.
((("Anne" "is" "kind" "+") ("Anne" "is" "round" "+")) -> ("Anne" "is" "white" "+"))
Harry is round.
True
1
proof
[(triple4)]
("Harry" "is" "round" "+")
triple4
Fiona is not round.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "round" "-")
triple3
Fiona is furry.
True
2
proof
[(((triple3) -> rule5))]
("Fiona" "is" "furry" "+")
((triple3) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple3) -> rule5))]
("Fiona" "is" "furry" "-")
((triple3) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "-")
Anne is quiet.
Unknown
rconc
[@2: Anne is quiet.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Anne" "is" "quiet" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Anne is rough.[(triple1)] Bob is quiet.[(triple2)] Fiona is round.[(triple3)] Harry is round.[(triple4)] @1: Fiona is furry.[(((triple3) -> rule5))] @2: Fiona is kind.[(((((triple3) -> rule5)) -> rule2))] Fiona is not quiet.[(((((triple3) -> rule5)) -> rule3))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Harry is round.
("Harry" "is" "round" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple3) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2