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