Anne is rough. Erin is red. Fiona is red. Gary is rough. Cold, red things are furry. If something is red then it is cold.
Anne is rough.
("Anne" "is" "rough" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Cold, red things are furry.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
If something is red then it is cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Erin is red.
True
1
proof
[(triple2)]
("Erin" "is" "red" "+")
triple2
Anne is not rough.
False
1
inv-proof
[(triple1)]
("Anne" "is" "rough" "-")
triple1
Fiona is cold.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Fiona is cold.
("Fiona" "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
Erin is furry.
True
4
proof
[(((((triple2) -> rule2) triple2) -> rule1))]
("Erin" "is" "furry" "+")
((((triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Fiona is not furry.
False
4
inv-proof
[(((((triple3) -> rule2) triple3) -> rule1))]
("Fiona" "is" "furry" "-")
((((triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "cold" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "cold" "+")
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "furry" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Anne is rough.[(triple1)] Erin is red.[(triple2)] Fiona is red.[(triple3)] Gary is rough.[(triple4)] @1: Erin is cold.[(((triple2) -> rule2))] Fiona is cold.[(((triple3) -> rule2))] @2: Erin is furry.[(((((triple2) -> rule2) triple2) -> rule1))] Fiona is furry.[(((((triple3) -> rule2) triple3) -> rule1))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((((triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2