Dave is not quiet. Dave is round. Fiona is not blue. Fiona is quiet. Fiona is white. Gary is blue. Gary is kind. White, furry things are not green. All white, quiet things are furry.
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is round.
("Dave" "is" "round" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
White, furry things are not green.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "-"))
All white, quiet things are furry.
((("something" "is" "white" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
Gary is kind.
True
1
proof
[(triple7)]
("Gary" "is" "kind" "+")
triple7
Dave is not round.
False
1
inv-proof
[(triple2)]
("Dave" "is" "round" "-")
triple2
Fiona is furry.
True
3
proof
[(((triple5 triple4) -> rule2))]
("Fiona" "is" "furry" "+")
((triple5 triple4) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
3
inv-proof
[(((triple5 triple4) -> rule2))]
("Fiona" "is" "furry" "-")
((triple5 triple4) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not green.
True
5
proof
[(((triple5 ((triple5 triple4) -> rule2)) -> rule1))]
("Fiona" "is" "green" "-")
((triple5 ((triple5 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
False
5
inv-proof
[(((triple5 ((triple5 triple4) -> rule2)) -> rule1))]
("Fiona" "is" "green" "+")
((triple5 ((triple5 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "furry" "-")
Dave is furry.
Unknown
rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "furry" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Dave is not quiet.[(triple1)] Dave is round.[(triple2)] Fiona is not blue.[(triple3)] Fiona is quiet.[(triple4)] Fiona is white.[(triple5)] Gary is blue.[(triple6)] Gary is kind.[(triple7)] @1: Fiona is furry.[(((triple5 triple4) -> rule2))] @2: Fiona is not green.[(((triple5 ((triple5 triple4) -> rule2)) -> rule1))]
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple5 triple4) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
((triple5 ((triple5 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2