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