Dave is big. Dave is not blue. Dave is not round. Dave is white. Erin is big. Erin is quiet. Erin is white. Gary is big. Gary is blue. Gary is quiet. Gary is not red. Gary is round. If Erin is quiet then Erin is not red. All quiet, round things are white. If something is red and not round then it is white. If something is kind and not white then it is big. If something is red and not white then it is blue. If something is round and not white then it is not blue.
Dave is big.
("Dave" "is" "big" "+")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is not round.
("Dave" "is" "round" "-")
Dave is white.
("Dave" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is round.
("Gary" "is" "round" "+")
If Erin is quiet then Erin is not red.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "red" "-"))
All quiet, round things are white.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
If something is red and not round then it is white.
((("something" "is" "red" "+") ("something" "is" "round" "~")) -> ("something" "is" "white" "+"))
If something is kind and not white then it is big.
((("something" "is" "kind" "+") ("something" "is" "white" "~")) -> ("something" "is" "big" "+"))
If something is red and not white then it is blue.
((("something" "is" "red" "+") ("something" "is" "white" "~")) -> ("something" "is" "blue" "+"))
If something is round and not white then it is not blue.
((("something" "is" "round" "+") ("something" "is" "white" "~")) -> ("something" "is" "blue" "-"))
Erin is white.
True
1
proof
[(triple7)]
("Erin" "is" "white" "+")
triple7
Erin is not white.
False
1
inv-proof
[(triple7)]
("Erin" "is" "white" "-")
triple7
Gary is white.
True
3
proof
[(((triple10 triple12) -> rule2))]
("Gary" "is" "white" "+")
((triple10 triple12) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
3
inv-proof
[(((triple10 triple12) -> rule2))]
("Gary" "is" "white" "-")
((triple10 triple12) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "blue" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Dave is big.[(triple1)] Dave is not blue.[(triple2)] Dave is not round.[(triple3)] Dave is white.[(triple4)] Erin is big.[(triple5)] Erin is quiet.[(triple6)] Erin is white.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is not red.[(triple11)] Gary is quiet.[(triple10)] Gary is round.[(triple12)] @1: Erin is not red.[(((triple6) -> rule1))] Gary is white.[(((triple10 triple12) -> rule2))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is not blue.
("Dave" "is" "blue" "-")
triple2
Dave is not round.
("Dave" "is" "round" "-")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is not red.
("Gary" "is" "red" "-")
triple11
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple12
Erin is not red.
("Erin" "is" "red" "-")
((triple6) -> (rule1 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple10 triple12) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1