Anne is not cold. Anne is green. Anne is kind. Anne is rough. Anne is smart. Gary is cold. Gary is kind. Gary is nice. Gary is quiet. Gary is not smart. Harry is green. Harry is not kind. Harry is quiet. Harry is rough. Harry is not smart. If someone is green then they are not nice. If Gary is green and Gary is nice then Gary is quiet. If Gary is kind and Gary is not quiet then Gary is not rough. If someone is quiet and not nice then they are cold. If someone is rough and not green then they are cold. If Anne is cold and Anne is not green then Anne is kind.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
If someone is green then they are not nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "-"))
If Gary is green and Gary is nice then Gary is quiet.
((("Gary" "is" "green" "+") ("Gary" "is" "nice" "+")) -> ("Gary" "is" "quiet" "+"))
If Gary is kind and Gary is not quiet then Gary is not rough.
((("Gary" "is" "kind" "+") ("Gary" "is" "quiet" "~")) -> ("Gary" "is" "rough" "-"))
If someone is quiet and not nice then they are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "cold" "+"))
If someone is rough and not green then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "cold" "+"))
If Anne is cold and Anne is not green then Anne is kind.
((("Anne" "is" "cold" "+") ("Anne" "is" "green" "~")) -> ("Anne" "is" "kind" "+"))
Harry is green.
True
1
proof
[(triple11)]
("Harry" "is" "green" "+")
triple11
Harry is not quiet.
False
1
inv-proof
[(triple13)]
("Harry" "is" "quiet" "-")
triple13
Anne is not nice.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "nice" "-")
((triple2) -> (rule1 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
Harry is nice.
False
2
inv-proof
[(((triple11) -> rule1))]
("Harry" "is" "nice" "+")
((triple11) -> (rule1 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
Harry is cold.
True
4
proof
[(((triple13 ((triple11) -> rule1)) -> rule4))]
("Harry" "is" "cold" "+")
((triple13 ((triple11) -> (rule1 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not nice.
("Harry" "is" "nice" "-")
int2
Harry is not cold.
False
4
inv-proof
[(((triple13 ((triple11) -> rule1)) -> rule4))]
("Harry" "is" "cold" "-")
((triple13 ((triple11) -> (rule1 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not nice.
("Harry" "is" "nice" "-")
int2
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is not cold.[(triple1)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Gary is cold.[(triple6)] Gary is kind.[(triple7)] Gary is nice.[(triple8)] Gary is not smart.[(triple10)] Gary is quiet.[(triple9)] Harry is green.[(triple11)] Harry is not kind.[(triple12)] Harry is not smart.[(triple15)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] @1: Anne is not nice.[(((triple2) -> rule1))] Harry is not nice.[(((triple11) -> rule1))] @2: Harry is cold.[(((triple13 ((triple11) -> rule1)) -> rule4))]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is not smart.
("Gary" "is" "smart" "-")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is not kind.
("Harry" "is" "kind" "-")
triple12
Harry is not smart.
("Harry" "is" "smart" "-")
triple15
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Anne is not nice.
("Anne" "is" "nice" "-")
((triple2) -> (rule1 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
Harry is not nice.
("Harry" "is" "nice" "-")
((triple11) -> (rule1 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple13 ((triple11) -> (rule1 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not nice.
("Harry" "is" "nice" "-")
int2