Anne is big. Anne is green. Anne is red. Anne is white. Erin is furry. Erin is young. Fiona is green. Gary is big. Gary is furry. Gary is not green. Gary is red. Gary is young. Red people are not quiet. If someone is red and not big then they are quiet. Red people are furry. All young people are not white. If Fiona is furry and Fiona is white then Fiona is quiet. If someone is young and not furry then they are green.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Red people are not quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "-"))
If someone is red and not big then they are quiet.
((("someone" "is" "red" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "quiet" "+"))
Red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
All young people are not white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "-"))
If Fiona is furry and Fiona is white then Fiona is quiet.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "quiet" "+"))
If someone is young and not furry then they are green.
((("someone" "is" "young" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "green" "+"))
Erin is furry.
True
1
proof
[(triple5)]
("Erin" "is" "furry" "+")
triple5
Gary is green.
False
1
inv-proof
[(triple10)]
("Gary" "is" "green" "+")
triple10
Erin is not white.
True
2
proof
[(((triple6) -> rule4))]
("Erin" "is" "white" "-")
((triple6) -> (rule4 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
Erin is white.
False
2
inv-proof
[(((triple6) -> rule4))]
("Erin" "is" "white" "+")
((triple6) -> (rule4 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Erin is quiet.
Unknown
rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "quiet" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3)] Anne is white.[(triple4)] Erin is furry.[(triple5)] Erin is young.[(triple6)] Fiona is green.[(triple7)] Gary is big.[(triple8)] Gary is furry.[(triple9 OR ((triple11) -> rule3))] Gary is not green.[(triple10)] Gary is red.[(triple11)] Gary is young.[(triple12)] @1: Anne is furry.[(((triple3) -> rule3))] Anne is not quiet.[(((triple3) -> rule1))] Erin is not white.[(((triple6) -> rule4))] Gary is not quiet.[(((triple11) -> rule1))] Gary is not white.[(((triple12) -> rule4))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
((triple11) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not green.
("Gary" "is" "green" "-")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Anne is furry.
("Anne" "is" "furry" "+")
((triple3) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not quiet.
("Anne" "is" "quiet" "-")
((triple3) -> (rule1 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Erin is not white.
("Erin" "is" "white" "-")
((triple6) -> (rule4 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
Gary is not quiet.
("Gary" "is" "quiet" "-")
((triple11) -> (rule1 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Gary is not white.
("Gary" "is" "white" "-")
((triple12) -> (rule4 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1