Anne is big. Anne is quiet. Anne is white. Erin is quiet. Fiona is red. Fiona is round. Gary is white. All red, white people are round. All green, big people are quiet. All round people are green.
Anne is big.
("Anne" "is" "big" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
All red, white people are round.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
All green, big people are quiet.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
All round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Erin is quiet.
True
1
proof
[(triple4)]
("Erin" "is" "quiet" "+")
triple4
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Fiona is green.
True
2
proof
[(((triple6) -> rule3))]
("Fiona" "is" "green" "+")
((triple6) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple6) -> rule3))]
("Fiona" "is" "green" "-")
((triple6) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "round" "-")
Anne is round.
Unknown
rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "round" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Erin is quiet.[(triple4)] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Gary is white.[(triple7)] @1: Fiona is green.[(((triple6) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
((triple6) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1