Anne is young. Dave is white. Erin is white. Erin is young. Harry is kind. Harry is quiet. Harry is round. All round things are white.
Anne is young.
("Anne" "is" "young" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
All round things are white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
Harry is quiet.
True
1
proof
[(triple6)]
("Harry" "is" "quiet" "+")
triple6
Harry is not round.
False
1
inv-proof
[(triple7)]
("Harry" "is" "round" "-")
triple7
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "white" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is young.[(triple1)] Dave is white.[(triple2)] Erin is white.[(triple3)] Erin is young.[(triple4)] Harry is kind.[(triple5)] Harry is quiet.[(triple6)] Harry is round.[(triple7)] @1: Harry is white.[(((triple7) -> rule1))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is white.
("Harry" "is" "white" "+")
((triple7) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1