Charlie is kind. Dave is white. Gary is nice. Harry is young. Rough, young things are white. If Charlie is kind then Charlie is nice. If something is white then it is cold.
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
Rough, young things are white.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
If Charlie is kind then Charlie is nice.
((("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "nice" "+"))
If something is white then it is cold.
((("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
Gary is nice.
True
1
proof
[(triple3)]
("Gary" "is" "nice" "+")
triple3
Charlie is not kind.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "kind" "-")
triple1
Dave is cold.
True
2
proof
[(((triple2) -> rule3))]
("Dave" "is" "cold" "+")
((triple2) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Charlie is not nice.
False
2
inv-proof
[(((triple1) -> rule2))]
("Charlie" "is" "nice" "-")
((triple1) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Harry is not cold.
Unknown
inv-rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Harry" "is" "cold" "-")
Gary is cold.
Unknown
rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Gary" "is" "cold" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is kind.[(triple1)] Dave is white.[(triple2)] Gary is nice.[(triple3)] Harry is young.[(triple4)] @1: Charlie is nice.[(((triple1) -> rule2))] Dave is cold.[(((triple2) -> rule3))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Harry is young.
("Harry" "is" "young" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple2) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1