Dave is blue. Dave is not quiet. Dave is not round. Dave is white. Erin is blue. Erin is green. Erin is round. Erin is white. Fiona is big. Fiona is blue. Fiona is not nice. Fiona is not round. Big people are not green. If someone is blue and big then they are quiet. If someone is big and not green then they are white.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is not round.
("Dave" "is" "round" "-")
Dave is white.
("Dave" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is not round.
("Fiona" "is" "round" "-")
Big people are not green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "-"))
If someone is blue and big then they are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
If someone is big and not green then they are white.
((("someone" "is" "big" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "white" "+"))
Fiona is big.
True
1
proof
[(triple9)]
("Fiona" "is" "big" "+")
triple9
Dave is round.
False
1
inv-proof
[(triple3)]
("Dave" "is" "round" "+")
triple3
Fiona is not green.
True
2
proof
[(((triple9) -> rule1))]
("Fiona" "is" "green" "-")
((triple9) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is not quiet.
False
3
inv-proof
[(((triple10 triple9) -> rule2))]
("Fiona" "is" "quiet" "-")
((triple10 triple9) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "quiet" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Dave is blue.[(triple1)] Dave is not quiet.[(triple2)] Dave is not round.[(triple3)] Dave is white.[(triple4)] Erin is blue.[(triple5)] Erin is green.[(triple6)] Erin is round.[(triple7)] Erin is white.[(triple8)] Fiona is big.[(triple9)] Fiona is blue.[(triple10)] Fiona is not nice.[(triple11)] Fiona is not round.[(triple12)] @1: Fiona is not green.[(((triple9) -> rule1))] Fiona is quiet.[(((triple10 triple9) -> rule2))] @2: Fiona is white.[(((triple9 ((triple9) -> rule1)) -> rule3))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple2
Dave is not round.
("Dave" "is" "round" "-")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple11
Fiona is not round.
("Fiona" "is" "round" "-")
triple12
Fiona is not green.
("Fiona" "is" "green" "-")
((triple9) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple10 triple9) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple9 ((triple9) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
int2