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