Charlie is round. Dave is quiet. Gary is furry. Gary is green. Gary is nice. Gary is quiet. Gary is not round. Gary is smart. Gary is white. Harry is furry. Harry is not green. Harry is nice. Harry is quiet. Harry is round. Harry is smart. Harry is not white. If something is quiet and not smart then it is round.
Charlie is round.
("Charlie" "is" "round" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is not white.
("Harry" "is" "white" "-")
If something is quiet and not smart then it is round.
((("something" "is" "quiet" "+") ("something" "is" "smart" "~")) -> ("something" "is" "round" "+"))
Charlie is round.
True
1
proof
[(triple1)]
("Charlie" "is" "round" "+")
triple1
Gary is not nice.
False
1
inv-proof
[(triple5)]
("Gary" "is" "nice" "-")
triple5
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Charlie is round.[(triple1)] Dave is quiet.[(triple2)] Gary is furry.[(triple3)] Gary is green.[(triple4)] Gary is nice.[(triple5)] Gary is not round.[(triple7)] Gary is quiet.[(triple6)] Gary is smart.[(triple8)] Gary is white.[(triple9)] Harry is furry.[(triple10)] Harry is nice.[(triple12)] Harry is not green.[(triple11)] Harry is not white.[(triple16)] Harry is quiet.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)]
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Gary is not round.
("Gary" "is" "round" "-")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is not green.
("Harry" "is" "green" "-")
triple11
Harry is not white.
("Harry" "is" "white" "-")
triple16
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15