Charlie is not round. Charlie is not smart. Dave is red. Dave is round. Dave is smart. Dave is young. Erin is green. Erin is red. Erin is smart. Erin is not young. If Erin is green then Erin is smart. If Charlie is red and Charlie is not young then Charlie is smart.
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is not young.
("Erin" "is" "young" "-")
If Erin is green then Erin is smart.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "smart" "+"))
If Charlie is red and Charlie is not young then Charlie is smart.
((("Charlie" "is" "red" "+") ("Charlie" "is" "young" "~")) -> ("Charlie" "is" "smart" "+"))
Dave is young.
True
1
proof
[(triple6)]
("Dave" "is" "young" "+")
triple6
Erin is not green.
False
1
inv-proof
[(triple7)]
("Erin" "is" "green" "-")
triple7
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Charlie is not round.[(triple1)] Charlie is not smart.[(triple2)] Dave is red.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6)] Erin is green.[(triple7)] Erin is not young.[(triple10)] Erin is red.[(triple8)] Erin is smart.[(triple9 OR ((triple7) -> rule1))]
Charlie is not round.
("Charlie" "is" "round" "-")
triple1
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is not young.
("Erin" "is" "young" "-")
triple10
Erin is red.
("Erin" "is" "red" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
((triple7) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1