Anne is not quiet. Anne is white. Erin is furry. Erin is not quiet. Erin is round. Erin is white. Erin is young. Gary is furry. Gary is nice. Gary is quiet. Gary is white. Harry is furry. Harry is nice. Harry is quiet. Harry is white. Quiet people are not round. If someone is round then they are furry.
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is white.
("Anne" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is white.
("Harry" "is" "white" "+")
Quiet people are not round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "-"))
If someone is round then they are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Harry is furry.
True
1
proof
[(triple12)]
("Harry" "is" "furry" "+")
triple12
Anne is quiet.
False
1
inv-proof
[(triple1)]
("Anne" "is" "quiet" "+")
triple1
Gary is not round.
True
2
proof
[(((triple10) -> rule1))]
("Gary" "is" "round" "-")
((triple10) -> (rule1 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Harry is round.
False
2
inv-proof
[(((triple14) -> rule1))]
("Harry" "is" "round" "+")
((triple14) -> (rule1 % int1))
Harry is not round.
("Harry" "is" "round" "-")
int1
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "furry" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is not quiet.[(triple1)] Anne is white.[(triple2)] Erin is furry.[(triple3 OR ((triple5) -> rule2))] Erin is not quiet.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Gary is furry.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10)] Gary is white.[(triple11)] Harry is furry.[(triple12)] Harry is nice.[(triple13)] Harry is quiet.[(triple14)] Harry is white.[(triple15)] @1: Gary is not round.[(((triple10) -> rule1))] Harry is not round.[(((triple14) -> rule1))]
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
((triple5) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is white.
("Gary" "is" "white" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Gary is not round.
("Gary" "is" "round" "-")
((triple10) -> (rule1 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Harry is not round.
("Harry" "is" "round" "-")
((triple14) -> (rule1 % int1))
Harry is not round.
("Harry" "is" "round" "-")
int1