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