Anne is white. Dave is blue. Fiona is rough. Fiona is not young. Harry is big. Harry is not blue. Harry is cold. If Harry is young and Harry is not white then Harry is cold. If Harry is blue and Harry is nice then Harry is big. If Anne is blue and Anne is rough then Anne is cold. All white things are nice. If something is nice and not young then it is not blue. All young things are rough.
Anne is white.
("Anne" "is" "white" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is cold.
("Harry" "is" "cold" "+")
If Harry is young and Harry is not white then Harry is cold.
((("Harry" "is" "young" "+") ("Harry" "is" "white" "~")) -> ("Harry" "is" "cold" "+"))
If Harry is blue and Harry is nice then Harry is big.
((("Harry" "is" "blue" "+") ("Harry" "is" "nice" "+")) -> ("Harry" "is" "big" "+"))
If Anne is blue and Anne is rough then Anne is cold.
((("Anne" "is" "blue" "+") ("Anne" "is" "rough" "+")) -> ("Anne" "is" "cold" "+"))
All white things are nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
If something is nice and not young then it is not blue.
((("something" "is" "nice" "+") ("something" "is" "young" "~")) -> ("something" "is" "blue" "-"))
All young things are rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
Harry is not blue.
True
1
proof
[(triple6)]
("Harry" "is" "blue" "-")
triple6
Harry is not big.
False
1
inv-proof
[(triple5)]
("Harry" "is" "big" "-")
triple5
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "nice" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Anne is white.[(triple1)] Dave is blue.[(triple2)] Fiona is not young.[(triple4)] Fiona is rough.[(triple3)] Harry is big.[(triple5)] Harry is cold.[(triple7)] Harry is not blue.[(triple6)] @1: Anne is nice.[(((triple1) -> rule4))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Fiona is not young.
("Fiona" "is" "young" "-")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is not blue.
("Harry" "is" "blue" "-")
triple6
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1