Bob is not blue. Bob is not young. Charlie is blue. Charlie is kind. Gary is furry. Gary is not green. Gary is not kind. If something is furry then it is nice. If something is kind and furry then it is not nice. If Bob is blue and Bob is not green then Bob is nice. If Gary is furry then Gary is not blue. If something is furry and nice then it is not young. If Gary is nice and Gary is blue then Gary is not kind.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is not young.
("Bob" "is" "young" "-")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is not kind.
("Gary" "is" "kind" "-")
If something is furry then it is nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
If something is kind and furry then it is not nice.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "-"))
If Bob is blue and Bob is not green then Bob is nice.
((("Bob" "is" "blue" "+") ("Bob" "is" "green" "~")) -> ("Bob" "is" "nice" "+"))
If Gary is furry then Gary is not blue.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "blue" "-"))
If something is furry and nice then it is not young.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "-"))
If Gary is nice and Gary is blue then Gary is not kind.
((("Gary" "is" "nice" "+") ("Gary" "is" "blue" "+")) -> ("Gary" "is" "kind" "-"))
Charlie is kind.
True
1
proof
[(triple4)]
("Charlie" "is" "kind" "+")
triple4
Charlie is not blue.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "blue" "-")
triple3
Gary is not blue.
True
2
proof
[(((triple5) -> rule4))]
("Gary" "is" "blue" "-")
((triple5) -> (rule4 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Gary is not nice.
False
2
inv-proof
[(((triple5) -> rule1))]
("Gary" "is" "nice" "-")
((triple5) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not young.
True
4
proof
[(((triple5 ((triple5) -> rule1)) -> rule5))]
("Gary" "is" "young" "-")
((triple5 ((triple5) -> (rule1 % int2))) -> (rule5 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
False
4
inv-proof
[(((triple5 ((triple5) -> rule1)) -> rule5))]
("Gary" "is" "young" "+")
((triple5 ((triple5) -> (rule1 % int2))) -> (rule5 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Bob is not blue.[(triple1)] Bob is not young.[(triple2)] Charlie is blue.[(triple3)] Charlie is kind.[(triple4)] Gary is furry.[(triple5)] Gary is not green.[(triple6)] Gary is not kind.[(triple7)] @1: Gary is nice.[(((triple5) -> rule1))] Gary is not blue.[(((triple5) -> rule4))] @2: Gary is not young.[(((triple5 ((triple5) -> rule1)) -> rule5))]
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not young.
("Bob" "is" "young" "-")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is not green.
("Gary" "is" "green" "-")
triple6
Gary is not kind.
("Gary" "is" "kind" "-")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
((triple5) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not blue.
("Gary" "is" "blue" "-")
((triple5) -> (rule4 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Gary is not young.
("Gary" "is" "young" "-")
((triple5 ((triple5) -> (rule1 % int2))) -> (rule5 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2