Charlie is cold. Erin is furry. Fiona is young. Gary is cold. If Gary is cold and Gary is not furry then Gary is round. Furry things are cold.
Charlie is cold.
("Charlie" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If Gary is cold and Gary is not furry then Gary is round.
((("Gary" "is" "cold" "+") ("Gary" "is" "furry" "~")) -> ("Gary" "is" "round" "+"))
Furry things are cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
Charlie is cold.
True
1
proof
[(triple1)]
("Charlie" "is" "cold" "+")
triple1
Charlie is not cold.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "cold" "-")
triple1
Erin is cold.
True
2
proof
[(((triple2) -> rule2))]
("Erin" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple2) -> rule2))]
("Erin" "is" "cold" "-")
((triple2) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "cold" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Charlie is cold.[(triple1)] Erin is furry.[(triple2)] Fiona is young.[(triple3)] Gary is cold.[(triple4)] @1: Erin is cold.[(((triple2) -> rule2))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1