Dave is blue. Erin is cold. Fiona is not smart. Gary is round. All blue people are not round. If someone is round then they are smart. Smart, cold people are not white. If someone is round then they are red. If someone is round and not smart then they are red. If Gary is red and Gary is blue then Gary is not quiet.
Dave is blue.
("Dave" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Gary is round.
("Gary" "is" "round" "+")
All blue people are not round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "-"))
If someone is round then they are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
Smart, cold people are not white.
((("someone" "is" "smart" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "-"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is round and not smart then they are red.
((("someone" "is" "round" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "red" "+"))
If Gary is red and Gary is blue then Gary is not quiet.
((("Gary" "is" "red" "+") ("Gary" "is" "blue" "+")) -> ("Gary" "is" "quiet" "-"))
Erin is cold.
True
1
proof
[(triple2)]
("Erin" "is" "cold" "+")
triple2
Gary is not round.
False
1
inv-proof
[(triple4)]
("Gary" "is" "round" "-")
triple4
Gary is red.
True
2
proof
[(((triple4) -> rule4))]
("Gary" "is" "red" "+")
((triple4) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not smart.
False
2
inv-proof
[(((triple4) -> rule2))]
("Gary" "is" "smart" "-")
((triple4) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is smart.
Unknown
rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "smart" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Dave is blue.[(triple1)] Erin is cold.[(triple2)] Fiona is not smart.[(triple3)] Gary is round.[(triple4)] @1: Dave is not round.[(((triple1) -> rule1))] Gary is red.[(((triple4) -> rule4))] Gary is smart.[(((triple4) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
Dave is not round.
("Dave" "is" "round" "-")
((triple1) -> (rule1 % int1))
Dave is not round.
("Dave" "is" "round" "-")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple4) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple4) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1