Anne is big. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is smart. Gary is green. Gary is quiet. If someone is big then they are furry. If someone is blue then they are not furry. All furry people are big. Big people are not blue. If someone is quiet and big then they are not blue. Kind, blue people are green.
Anne is big.
("Anne" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If someone is big then they are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
If someone is blue then they are not furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "-"))
All furry people are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Big people are not blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "-"))
If someone is quiet and big then they are not blue.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "-"))
Kind, blue people are green.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Fiona is quiet.
True
1
proof
[(triple4)]
("Fiona" "is" "quiet" "+")
triple4
Fiona is not quiet.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "quiet" "-")
triple4
Anne is not blue.
True
2
proof
[(((triple1) -> rule4))]
("Anne" "is" "blue" "-")
((triple1) -> (rule4 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Anne is blue.
False
2
inv-proof
[(((triple1) -> rule4))]
("Anne" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Fiona is not blue.
True
3
proof
[(((((triple2) -> rule3)) -> rule4) OR ((triple4 ((triple2) -> rule3)) -> rule5))]
("Fiona" "is" "blue" "-")
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((triple4 ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule4) OR ((triple4 ((triple2) -> rule3)) -> rule5))]
("Fiona" "is" "blue" "+")
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((triple4 ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "green" "-")
Gary is big.
Unknown
rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not furry.
Unknown
inv-rconc
[@2: Gary is furry.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Gary" "is" "furry" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Anne is big.[(triple1)] Fiona is furry.[(triple2)] Fiona is green.[(triple3)] Fiona is quiet.[(triple4)] Fiona is smart.[(triple5)] Gary is green.[(triple6)] Gary is quiet.[(triple7)] @1: Anne is furry.[(((triple1) -> rule1))] Anne is not blue.[(((triple1) -> rule4))] Fiona is big.[(((triple2) -> rule3))] @2: Fiona is not blue.[(((((triple2) -> rule3)) -> rule4) OR ((triple4 ((triple2) -> rule3)) -> rule5))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not blue.
("Anne" "is" "blue" "-")
((triple1) -> (rule4 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple2) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not blue.
("Fiona" "is" "blue" "-")
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((triple4 ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2