Charlie is white. Dave is not red. Dave is white. Dave is young. Erin is rough. Erin is round. Harry is not red. If something is rough and kind then it is white. If Erin is red then Erin is kind.
Charlie is white.
("Charlie" "is" "white" "+")
Dave is not red.
("Dave" "is" "red" "-")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Harry is not red.
("Harry" "is" "red" "-")
If something is rough and kind then it is white.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
If Erin is red then Erin is kind.
((("Erin" "is" "red" "+")) -> ("Erin" "is" "kind" "+"))
Dave is white.
True
1
proof
[(triple3)]
("Dave" "is" "white" "+")
triple3
Dave is red.
False
1
inv-proof
[(triple2)]
("Dave" "is" "red" "+")
triple2
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "white" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Charlie is white.[(triple1)] Dave is not red.[(triple2)] Dave is white.[(triple3)] Dave is young.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Harry is not red.[(triple7)]
Charlie is white.
("Charlie" "is" "white" "+")
triple1
Dave is not red.
("Dave" "is" "red" "-")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Harry is not red.
("Harry" "is" "red" "-")
triple7