Bob is furry. Bob is not kind. Bob is young. Charlie is not cold. Charlie is furry. Charlie is green. Charlie is not kind. Charlie is not red. Charlie is young. Gary is cold. Harry is furry. Harry is not red. If Gary is young and Gary is green then Gary is not cold. If someone is kind and young then they are furry.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is young.
("Bob" "is" "young" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not red.
("Harry" "is" "red" "-")
If Gary is young and Gary is green then Gary is not cold.
((("Gary" "is" "young" "+") ("Gary" "is" "green" "+")) -> ("Gary" "is" "cold" "-"))
If someone is kind and young then they are furry.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
Charlie is not cold.
True
1
proof
[(triple4)]
("Charlie" "is" "cold" "-")
triple4
Harry is not furry.
False
1
inv-proof
[(triple11)]
("Harry" "is" "furry" "-")
triple11
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "furry" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is furry.[(triple1)] Bob is not kind.[(triple2)] Bob is young.[(triple3)] Charlie is furry.[(triple5)] Charlie is green.[(triple6)] Charlie is not cold.[(triple4)] Charlie is not kind.[(triple7)] Charlie is not red.[(triple8)] Charlie is young.[(triple9)] Gary is cold.[(triple10)] Harry is furry.[(triple11)] Harry is not red.[(triple12)]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is not kind.
("Bob" "is" "kind" "-")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple4
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple7
Charlie is not red.
("Charlie" "is" "red" "-")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is not red.
("Harry" "is" "red" "-")
triple12