Anne is quiet. Erin is big. Gary is cold. All quiet things are blue. All cold things are round. If Erin is blue then Erin is round. If something is big and not blue then it is white. Blue things are white. All young, big things are not white.
Anne is quiet.
("Anne" "is" "quiet" "+")
Erin is big.
("Erin" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
All quiet things are blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
All cold things are round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If Erin is blue then Erin is round.
((("Erin" "is" "blue" "+")) -> ("Erin" "is" "round" "+"))
If something is big and not blue then it is white.
((("something" "is" "big" "+") ("something" "is" "blue" "~")) -> ("something" "is" "white" "+"))
Blue things are white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
All young, big things are not white.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "white" "-"))
Anne is quiet.
True
1
proof
[(triple1)]
("Anne" "is" "quiet" "+")
triple1
Erin is not big.
False
1
inv-proof
[(triple2)]
("Erin" "is" "big" "-")
triple2
Gary is round.
True
2
proof
[(((triple3) -> rule2))]
("Gary" "is" "round" "+")
((triple3) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple3) -> rule2))]
("Gary" "is" "round" "-")
((triple3) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Erin is not white.
Unknown
inv-rconc
[@2: Erin is white.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Erin" "is" "white" "-")
Erin is blue.
Unknown
rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "blue" "+")
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: Anne is quiet.[(triple1)] Erin is big.[(triple2)] Gary is cold.[(triple3)] @1: Anne is blue.[(((triple1) -> rule1))] Gary is round.[(((triple3) -> rule2))] @2: Anne is white.[(((((triple1) -> rule1)) -> rule5))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple3
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple3) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2