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