Anne is kind. Anne is not red. Anne is smart. Anne is young. Dave is round. Harry is not furry. Harry is kind. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is young. Furry people are kind.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
Furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
Harry is rough.
True
1
proof
[(triple9)]
("Harry" "is" "rough" "+")
triple9
Anne is not smart.
False
1
inv-proof
[(triple3)]
("Anne" "is" "smart" "-")
triple3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Anne is kind.[(triple1)] Anne is not red.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Dave is round.[(triple5)] Harry is kind.[(triple7)] Harry is not furry.[(triple6)] Harry is red.[(triple8)] Harry is rough.[(triple9)] Harry is round.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12)]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is not red.
("Anne" "is" "red" "-")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is not furry.
("Harry" "is" "furry" "-")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is smart.
("Harry" "is" "smart" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12