Dave is quiet. Dave is round. Dave is white. Dave is young. Erin is green. Erin is kind. Erin is quiet. Erin is round. Erin is white. Erin is young. If something is green and white then it is young. White, nice things are quiet. All green things are quiet. Young things are white. If something is nice then it is white. If something is nice then it is round.
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If something is green and white then it is young.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
White, nice things are quiet.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
All green things are quiet.
((("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
Young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
If something is nice then it is white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
If something is nice then it is round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Dave is young.
True
1
proof
[(triple4)]
("Dave" "is" "young" "+")
triple4
Dave is not round.
False
1
inv-proof
[(triple2)]
("Dave" "is" "round" "-")
triple2
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Dave is quiet.[(triple1)] Dave is round.[(triple2)] Dave is white.[(triple3 OR ((triple4) -> rule4))] Dave is young.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is quiet.[(triple7 OR ((triple5) -> rule3))] Erin is round.[(triple8)] Erin is white.[(triple9 OR ((triple10) -> rule4))] Erin is young.[(triple10 OR ((triple5 triple9) -> rule1))]
Dave is quiet.
("Dave" "is" "quiet" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
((triple4) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
((triple5) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
((triple10) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple10
((triple5 triple9) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1