Charlie is rough. Dave is round. Gary is kind. All blue things are furry. All rough things are cold. If Charlie is round and Charlie is nice then Charlie is blue. If something is rough then it is nice. If something is kind then it is round. Kind, blue things are round. If something is furry and blue then it is cold. All cold things are furry.
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
All blue things are furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
All rough things are cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If Charlie is round and Charlie is nice then Charlie is blue.
((("Charlie" "is" "round" "+") ("Charlie" "is" "nice" "+")) -> ("Charlie" "is" "blue" "+"))
If something is rough then it is nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If something is kind then it is round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
Kind, blue things are round.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If something is furry and blue then it is cold.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
All cold things are furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
Charlie is rough.
True
1
proof
[(triple1)]
("Charlie" "is" "rough" "+")
triple1
Charlie is not rough.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "rough" "-")
triple1
Charlie is not blue.
Unknown
inv-rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Charlie" "is" "blue" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Charlie is rough.[(triple1)] Dave is round.[(triple2)] Gary is kind.[(triple3)] @1: Charlie is cold.[(((triple1) -> rule2))] Charlie is nice.[(((triple1) -> rule4))] Gary is round.[(((triple3) -> rule5))] @2: Charlie is furry.[(((((triple1) -> rule2)) -> rule8))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple3) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple1) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2