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