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