Anne is quiet. Erin is rough. Fiona is furry. Fiona is rough. Harry is not big. Harry is not quiet. Harry is white. Furry things are white.
Anne is quiet.
("Anne" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is white.
("Harry" "is" "white" "+")
Furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
Fiona is furry.
True
1
proof
[(triple3)]
("Fiona" "is" "furry" "+")
triple3
Fiona is not furry.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "furry" "-")
triple3
Fiona is white.
True
2
proof
[(((triple3) -> rule1))]
("Fiona" "is" "white" "+")
((triple3) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple3) -> rule1))]
("Fiona" "is" "white" "-")
((triple3) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "white" "-")
Erin is white.
Unknown
rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "white" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Anne is quiet.[(triple1)] Erin is rough.[(triple2)] Fiona is furry.[(triple3)] Fiona is rough.[(triple4)] Harry is not big.[(triple5)] Harry is not quiet.[(triple6)] Harry is white.[(triple7)] @1: Fiona is white.[(((triple3) -> rule1))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Harry is not big.
("Harry" "is" "big" "-")
triple5
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
((triple3) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1