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