Bob is big. Bob is nice. Bob is round. Bob is young. Charlie is big. Charlie is kind. Charlie is nice. Charlie is not round. Charlie is smart. Charlie is young. Dave is quiet. Dave is smart. Harry is nice. Harry is not quiet. Harry is smart. Harry is not young. Round, quiet people are kind. If Bob is kind and Bob is not nice then Bob is not quiet.
Bob is big.
("Bob" "is" "big" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is not young.
("Harry" "is" "young" "-")
Round, quiet people are kind.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If Bob is kind and Bob is not nice then Bob is not quiet.
((("Bob" "is" "kind" "+") ("Bob" "is" "nice" "~")) -> ("Bob" "is" "quiet" "-"))
Dave is quiet.
True
1
proof
[(triple11)]
("Dave" "is" "quiet" "+")
triple11
Harry is quiet.
False
1
inv-proof
[(triple14)]
("Harry" "is" "quiet" "+")
triple14
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is round.[(triple3)] Bob is young.[(triple4)] Charlie is big.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Charlie is not round.[(triple8)] Charlie is smart.[(triple9)] Charlie is young.[(triple10)] Dave is quiet.[(triple11)] Dave is smart.[(triple12)] Harry is nice.[(triple13)] Harry is not quiet.[(triple14)] Harry is not young.[(triple16)] Harry is smart.[(triple15)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is not round.
("Charlie" "is" "round" "-")
triple8
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Dave is quiet.
("Dave" "is" "quiet" "+")
triple11
Dave is smart.
("Dave" "is" "smart" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple14
Harry is not young.
("Harry" "is" "young" "-")
triple16
Harry is smart.
("Harry" "is" "smart" "+")
triple15