Dave is blue. Fiona is blue. Gary is round. All nice, cold things are white. If something is blue then it is cold. Young things are cold.
Dave is blue.
("Dave" "is" "blue" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
All nice, cold things are white.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
If something is blue then it is cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
Young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
Fiona is blue.
True
1
proof
[(triple2)]
("Fiona" "is" "blue" "+")
triple2
Fiona is not blue.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "blue" "-")
triple2
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "cold" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Dave is blue.[(triple1)] Fiona is blue.[(triple2)] Gary is round.[(triple3)] @1: Dave is cold.[(((triple1) -> rule2))] Fiona is cold.[(((triple2) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Gary is round.
("Gary" "is" "round" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1