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