Anne is cold. Anne is kind. Anne is nice. Anne is not young. Bob is blue. Bob is cold. Bob is kind. Bob is nice. Gary is not blue. Gary is not cold. Gary is not kind. Gary is nice. Gary is round. Gary is smart. Gary is young. If Gary is nice then Gary is not kind. If something is round and blue then it is cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not young.
("Anne" "is" "young" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is nice then Gary is not kind.
((("Gary" "is" "nice" "+")) -> ("Gary" "is" "kind" "-"))
If something is round and blue then it is cold.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
Bob is cold.
True
1
proof
[(triple6)]
("Bob" "is" "cold" "+")
triple6
Gary is not young.
False
1
inv-proof
[(triple15)]
("Gary" "is" "young" "-")
triple15
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not young.[(triple4)] Bob is blue.[(triple5)] Bob is cold.[(triple6)] Bob is kind.[(triple7)] Bob is nice.[(triple8)] Gary is nice.[(triple12)] Gary is not blue.[(triple9)] Gary is not cold.[(triple10)] Gary is not kind.[(triple11 OR ((triple12) -> rule1))] Gary is round.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not young.
("Anne" "is" "young" "-")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is not blue.
("Gary" "is" "blue" "-")
triple9
Gary is not cold.
("Gary" "is" "cold" "-")
triple10
Gary is not kind.
("Gary" "is" "kind" "-")
triple11
((triple12) -> (rule1 % int1))
Gary is not kind.
("Gary" "is" "kind" "-")
int1
Gary is round.
("Gary" "is" "round" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15