Fiona is rough. Harry is blue. Harry is kind. All round things are blue. If Harry is white then Harry is big. If Harry is big then Harry is green. White, kind things are blue. If something is kind and white then it is round. All white things are green.
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
All round things are blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If Harry is white then Harry is big.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "big" "+"))
If Harry is big then Harry is green.
((("Harry" "is" "big" "+")) -> ("Harry" "is" "green" "+"))
White, kind things are blue.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
If something is kind and white then it is round.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
All white things are green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
Harry is kind.
True
1
proof
[(triple3)]
("Harry" "is" "kind" "+")
triple3
Fiona is not rough.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "rough" "-")
triple1
Fiona is not blue.
Unknown
inv-rconc
[@2: Fiona is blue.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Fiona" "is" "blue" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Fiona is rough.[(triple1)] Harry is blue.[(triple2)] Harry is kind.[(triple3)]
Fiona is rough.
("Fiona" "is" "rough" "+")
triple1
Harry is blue.
("Harry" "is" "blue" "+")
triple2
Harry is kind.
("Harry" "is" "kind" "+")
triple3