Anne is big. Anne is green. Charlie is big. Fiona is big. Fiona is green. Fiona is kind. Fiona is quiet. Gary is big. Gary is kind. Gary is white. If someone is furry and white then they are green. If someone is quiet and kind then they are furry. All white, kind people are quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is furry and white then they are green.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If someone is quiet and kind then they are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
All white, kind people are quiet.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
Fiona is quiet.
True
1
proof
[(triple7)]
("Fiona" "is" "quiet" "+")
triple7
Gary is not big.
False
1
inv-proof
[(triple8)]
("Gary" "is" "big" "-")
triple8
Gary is quiet.
True
3
proof
[(((triple10 triple9) -> rule3))]
("Gary" "is" "quiet" "+")
((triple10 triple9) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not quiet.
False
3
inv-proof
[(((triple10 triple9) -> rule3))]
("Gary" "is" "quiet" "-")
((triple10 triple9) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
True
5
proof
[(((((triple10 triple9) -> rule3) triple9) -> rule2))]
("Gary" "is" "furry" "+")
((((triple10 triple9) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is not furry.
False
5
inv-proof
[(((((triple10 triple9) -> rule3) triple9) -> rule2))]
("Gary" "is" "furry" "-")
((((triple10 triple9) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is green.
True
7
proof
[(((((((triple10 triple9) -> rule3) triple9) -> rule2) triple10) -> rule1))]
("Gary" "is" "green" "+")
((((((triple10 triple9) -> (rule3 % int3)) triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is not green.
False
7
inv-proof
[(((((((triple10 triple9) -> rule3) triple9) -> rule2) triple10) -> rule1))]
("Gary" "is" "green" "-")
((((((triple10 triple9) -> (rule3 % int3)) triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "quiet" "-")
Charlie is quiet.
Unknown
rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "quiet" "+")
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is furry.
Unknown
rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "furry" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Charlie is big.[(triple3)] Fiona is big.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7)] Gary is big.[(triple8)] Gary is kind.[(triple9)] Gary is white.[(triple10)] @1: Fiona is furry.[(((triple7 triple6) -> rule2))] Gary is quiet.[(((triple10 triple9) -> rule3))] @2: Gary is furry.[(((((triple10 triple9) -> rule3) triple9) -> rule2))] @3: Gary is green.[(((((((triple10 triple9) -> rule3) triple9) -> rule2) triple10) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple7 triple6) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple10 triple9) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((((triple10 triple9) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((((((triple10 triple9) -> (rule3 % int3)) triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3