Anne is round. If someone is young then they are big. If Anne is big and Anne is quiet then Anne is white. All kind people are young. If someone is round then they are white. All white people are green. All young people are round. Green, round people are quiet. Young people are quiet.
Anne is round.
("Anne" "is" "round" "+")
If someone is young then they are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If Anne is big and Anne is quiet then Anne is white.
((("Anne" "is" "big" "+") ("Anne" "is" "quiet" "+")) -> ("Anne" "is" "white" "+"))
All kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is round then they are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
All white people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
All young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Green, round people are quiet.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Young people are quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
Anne is round.
True
1
proof
[(triple1)]
("Anne" "is" "round" "+")
triple1
Anne is not round.
False
1
inv-proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Anne is white.
True
2
proof
[(((triple1) -> rule4))]
("Anne" "is" "white" "+")
((triple1) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not white.
False
2
inv-proof
[(((triple1) -> rule4))]
("Anne" "is" "white" "-")
((triple1) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not big.
Unknown
inv-rconc
[@2: Anne is big.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Anne" "is" "big" "-")
Anne is young.
Unknown
rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is round.[(triple1)] @1: Anne is white.[(((triple1) -> rule4))] @2: Anne is green.[(((((triple1) -> rule4)) -> rule5))] @3: Anne is quiet.[(((((((triple1) -> rule4)) -> rule5) triple1) -> rule7))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
((((((triple1) -> (rule4 % int3))) -> (rule5 % int2)) triple1) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3