Anne is not furry. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is white. Fiona is furry. Fiona is green. Fiona is not kind. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is white. Harry is kind. Harry is quiet. Harry is rough. If Fiona is quiet and Fiona is green then Fiona is rough. Rough things are white.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If Fiona is quiet and Fiona is green then Fiona is rough.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "rough" "+"))
Rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Anne is quiet.
True
1
proof
[(triple5)]
("Anne" "is" "quiet" "+")
triple5
Anne is not quiet.
False
1
inv-proof
[(triple5)]
("Anne" "is" "quiet" "-")
triple5
Harry is white.
True
2
proof
[(((triple16) -> rule2))]
("Harry" "is" "white" "+")
((triple16) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is not white.
False
2
inv-proof
[(((triple16) -> rule2))]
("Harry" "is" "white" "-")
((triple16) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is not furry.[(triple1)] Anne is quiet.[(triple5)] Anne is white.[(triple6)] Fiona is furry.[(triple7)] Fiona is green.[(triple8)] Fiona is nice.[(triple10)] Fiona is not kind.[(triple9)] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12 OR ((triple11 triple8) -> rule1))] Fiona is white.[(triple13 OR ((triple12) -> rule2) OR ((((triple11 triple8) -> rule1)) -> rule2))] Harry is kind.[(triple14)] Harry is quiet.[(triple15)] Harry is rough.[(triple16)] @1: Harry is white.[(((triple16) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
((triple11 triple8) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple13
((triple12) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple11 triple8) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Harry is rough.
("Harry" "is" "rough" "+")
triple16
Harry is white.
("Harry" "is" "white" "+")
((triple16) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1