Bob is blue. Bob is cold. Bob is not green. Charlie is not blue. Charlie is kind. Charlie is not young. Gary is blue. Cold people are not furry. All kind people are cold.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not green.
("Bob" "is" "green" "-")
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Cold people are not furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "-"))
All kind people are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Charlie is not young.
True
1
proof
[(triple6)]
("Charlie" "is" "young" "-")
triple6
Bob is not blue.
False
1
inv-proof
[(triple1)]
("Bob" "is" "blue" "-")
triple1
Charlie is cold.
True
2
proof
[(((triple5) -> rule2))]
("Charlie" "is" "cold" "+")
((triple5) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Bob is furry.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Charlie is not furry.
True
3
proof
[(((((triple5) -> rule2)) -> rule1))]
("Charlie" "is" "furry" "-")
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is not furry.
("Charlie" "is" "furry" "-")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is furry.
False
3
inv-proof
[(((((triple5) -> rule2)) -> rule1))]
("Charlie" "is" "furry" "+")
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is not furry.
("Charlie" "is" "furry" "-")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "cold" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is not green.[(triple3)] Charlie is kind.[(triple5)] Charlie is not blue.[(triple4)] Charlie is not young.[(triple6)] Gary is blue.[(triple7)] @1: Bob is not furry.[(((triple2) -> rule1))] Charlie is cold.[(((triple5) -> rule2))] @2: Charlie is not furry.[(((((triple5) -> rule2)) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is not green.
("Bob" "is" "green" "-")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple4
Charlie is not young.
("Charlie" "is" "young" "-")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Bob is not furry.
("Bob" "is" "furry" "-")
((triple2) -> (rule1 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple5) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not furry.
("Charlie" "is" "furry" "-")
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is not furry.
("Charlie" "is" "furry" "-")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2