Anne is cold. Anne is nice. Anne is round. Anne is smart. Anne is white. Fiona is blue. Gary is smart. If something is white then it is kind.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If something is white then it is kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
Anne is round.
True
1
proof
[(triple3)]
("Anne" "is" "round" "+")
triple3
Anne is not smart.
False
1
inv-proof
[(triple4)]
("Anne" "is" "smart" "-")
triple4
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "kind" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Fiona is blue.[(triple6)] Gary is smart.[(triple7)] @1: Anne is kind.[(((triple5) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Anne is kind.
("Anne" "is" "kind" "+")
((triple5) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1