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