Anne is furry. Anne is nice. Dave is white. Fiona is smart. Fiona is white. Gary is cold. Gary is furry. Cold, young things are white. Smart things are cold.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Cold, young things are white.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Smart things are cold.
((("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
Fiona is white.
True
1
proof
[(triple5)]
("Fiona" "is" "white" "+")
triple5
Gary is not cold.
False
1
inv-proof
[(triple6)]
("Gary" "is" "cold" "-")
triple6
Fiona is cold.
True
2
proof
[(((triple4) -> rule2))]
("Fiona" "is" "cold" "+")
((triple4) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple4) -> rule2))]
("Fiona" "is" "cold" "-")
((triple4) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "white" "-")
Gary is white.
Unknown
rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "white" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Dave is white.[(triple3)] Fiona is smart.[(triple4)] Fiona is white.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7)] @1: Fiona is cold.[(((triple4) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple4) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1