Charlie is cold. Erin is kind. Gary is young. Kind things are rough. Young, cold things are rough. If Charlie is kind then Charlie is cold. Young things are furry. Young, cold things are furry. Kind, rough things are cold. Blue things are rough. If Charlie is furry and Charlie is kind then Charlie is young.
Charlie is cold.
("Charlie" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
Young, cold things are rough.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If Charlie is kind then Charlie is cold.
((("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "cold" "+"))
Young things are furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Young, cold things are furry.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
Kind, rough things are cold.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
Blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If Charlie is furry and Charlie is kind then Charlie is young.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "young" "+"))
Gary is young.
True
1
proof
[(triple3)]
("Gary" "is" "young" "+")
triple3
Charlie is not cold.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "cold" "-")
triple1
Gary is not rough.
Unknown
inv-rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Gary" "is" "rough" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Charlie is cold.[(triple1)] Erin is kind.[(triple2)] Gary is young.[(triple3)] @1: Erin is rough.[(((triple2) -> rule1))] Gary is furry.[(((triple3) -> rule4))] @2: Erin is cold.[(((triple2 ((triple2) -> rule1)) -> rule6))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Gary is young.
("Gary" "is" "young" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple3) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2