Anne is blue. Anne is white. Fiona is big. Fiona is cold. Gary is blue. Harry is big. Harry is cold. If Harry is kind and Harry is green then Harry is blue. Quiet things are blue. If something is big and kind then it is cold. All quiet, kind things are white. If something is big then it is white. All kind, cold things are quiet. If something is green and blue then it is quiet. If Fiona is quiet then Fiona is kind.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If Harry is kind and Harry is green then Harry is blue.
((("Harry" "is" "kind" "+") ("Harry" "is" "green" "+")) -> ("Harry" "is" "blue" "+"))
Quiet things are blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
If something is big and kind then it is cold.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
All quiet, kind things are white.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
If something is big then it is white.
((("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
All kind, cold things are quiet.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
If something is green and blue then it is quiet.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is quiet then Fiona is kind.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "kind" "+"))
Gary is blue.
True
1
proof
[(triple5)]
("Gary" "is" "blue" "+")
triple5
Harry is not big.
False
1
inv-proof
[(triple6)]
("Harry" "is" "big" "-")
triple6
Fiona is not kind.
Unknown
inv-rconc
[@2: Fiona is kind.[CWA. Example of deepest failure = (rule8 <- rule6 <- FAIL)]]
("Fiona" "is" "kind" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Anne is blue.[(triple1)] Anne is white.[(triple2)] Fiona is big.[(triple3)] Fiona is cold.[(triple4)] Gary is blue.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)] @1: Fiona is white.[(((triple3) -> rule5))] Harry is white.[(((triple6) -> rule5))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
((triple3) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple6) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1