Anne is not cold. Anne is quiet. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is not white. Gary is furry. Harry is cold. Harry is quiet. Harry is white. Harry is young. If something is quiet and white then it is rough. All young things are rough. All white things are not furry. If something is rough and not white then it is kind. If something is white and kind then it is not cold. If Fiona is not furry then Fiona is kind.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is quiet and white then it is rough.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
All young things are rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
All white things are not furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "-"))
If something is rough and not white then it is kind.
((("something" "is" "rough" "+") ("something" "is" "white" "~")) -> ("something" "is" "kind" "+"))
If something is white and kind then it is not cold.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "-"))
If Fiona is not furry then Fiona is kind.
((("Fiona" "is" "furry" "~")) -> ("Fiona" "is" "kind" "+"))
Harry is cold.
True
1
proof
[(triple9)]
("Harry" "is" "cold" "+")
triple9
Harry is not quiet.
False
1
inv-proof
[(triple10)]
("Harry" "is" "quiet" "-")
triple10
Harry is not furry.
True
2
proof
[(((triple11) -> rule3))]
("Harry" "is" "furry" "-")
((triple11) -> (rule3 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
Harry is furry.
False
2
inv-proof
[(((triple11) -> rule3))]
("Harry" "is" "furry" "+")
((triple11) -> (rule3 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
Anne is not rough.
Unknown
inv-rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "rough" "-")
Fiona is rough.
Unknown
rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "rough" "+")
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Anne is not cold.[(triple1)] Anne is quiet.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is kind.[(triple5)] Fiona is not white.[(triple7)] Fiona is quiet.[(triple6)] Gary is furry.[(triple8)] Harry is cold.[(triple9)] Harry is quiet.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Harry is not furry.[(((triple11) -> rule3))] Harry is rough.[(((triple12) -> rule2) OR ((triple10 triple11) -> rule1))]
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is not white.
("Fiona" "is" "white" "-")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Harry is white.
("Harry" "is" "white" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Harry is not furry.
("Harry" "is" "furry" "-")
((triple11) -> (rule3 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple12) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple10 triple11) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1