Dave is furry. Dave is kind. Dave is not red. Dave is smart. Erin is kind. Erin is nice. Erin is red. Erin is round. Erin is not smart. Erin is not white. Harry is not furry. Harry is not kind. Harry is nice. Harry is red. Harry is round. Harry is smart. If something is white and not smart then it is not furry. If something is kind and red then it is furry. White things are nice.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not red.
("Dave" "is" "red" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is not white.
("Erin" "is" "white" "-")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is white and not smart then it is not furry.
((("something" "is" "white" "+") ("something" "is" "smart" "~")) -> ("something" "is" "furry" "-"))
If something is kind and red then it is furry.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
White things are nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
Harry is red.
True
1
proof
[(triple14)]
("Harry" "is" "red" "+")
triple14
Erin is white.
False
1
inv-proof
[(triple10)]
("Erin" "is" "white" "+")
triple10
Erin is furry.
True
3
proof
[(((triple5 triple7) -> rule2))]
("Erin" "is" "furry" "+")
((triple5 triple7) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
3
inv-proof
[(((triple5 triple7) -> rule2))]
("Erin" "is" "furry" "-")
((triple5 triple7) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2)] Dave is not red.[(triple3)] Dave is smart.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is not smart.[(triple9)] Erin is not white.[(triple10)] Erin is red.[(triple7)] Erin is round.[(triple8)] Harry is nice.[(triple13)] Harry is not furry.[(triple11)] Harry is not kind.[(triple12)] Harry is red.[(triple14)] Harry is round.[(triple15)] Harry is smart.[(triple16)] @1: Erin is furry.[(((triple5 triple7) -> rule2))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is not red.
("Dave" "is" "red" "-")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is not smart.
("Erin" "is" "smart" "-")
triple9
Erin is not white.
("Erin" "is" "white" "-")
triple10
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is not furry.
("Harry" "is" "furry" "-")
triple11
Harry is not kind.
("Harry" "is" "kind" "-")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Erin is furry.
("Erin" "is" "furry" "+")
((triple5 triple7) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1