Bob is round. Bob is white. Charlie is blue. Charlie is round. Gary is blue. Gary is furry. Gary is not green. Gary is nice. Gary is not white. Harry is not blue. Harry is furry. Harry is green. Harry is nice. Harry is round. Harry is not white. Harry is not young. Blue, white people are young. All white, furry people are round.
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not white.
("Gary" "is" "white" "-")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is not white.
("Harry" "is" "white" "-")
Harry is not young.
("Harry" "is" "young" "-")
Blue, white people are young.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All white, furry people are round.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
Gary is not green.
True
1
proof
[(triple7)]
("Gary" "is" "green" "-")
triple7
Harry is not furry.
False
1
inv-proof
[(triple11)]
("Harry" "is" "furry" "-")
triple11
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is round.[(triple1)] Bob is white.[(triple2)] Charlie is blue.[(triple3)] Charlie is round.[(triple4)] Gary is blue.[(triple5)] Gary is furry.[(triple6)] Gary is nice.[(triple8)] Gary is not green.[(triple7)] Gary is not white.[(triple9)] Harry is furry.[(triple11)] Harry is green.[(triple12)] Harry is nice.[(triple13)] Harry is not blue.[(triple10)] Harry is not white.[(triple15)] Harry is not young.[(triple16)] Harry is round.[(triple14)]
Bob is round.
("Bob" "is" "round" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is not green.
("Gary" "is" "green" "-")
triple7
Gary is not white.
("Gary" "is" "white" "-")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is not blue.
("Harry" "is" "blue" "-")
triple10
Harry is not white.
("Harry" "is" "white" "-")
triple15
Harry is not young.
("Harry" "is" "young" "-")
triple16
Harry is round.
("Harry" "is" "round" "+")
triple14