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