Anne is cold. Anne is not furry. Anne is kind. Anne is nice. Bob is not cold. Bob is furry. Bob is not kind. Bob is nice. Bob is quiet. Bob is round. Bob is smart. Gary is furry. Gary is kind. Gary is quiet. Gary is smart. Quiet, cold things are not smart. If something is cold and not round then it is quiet. If something is cold and nice then it is quiet.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Quiet, cold things are not smart.
((("something" "is" "quiet" "+") ("something" "is" "cold" "+")) -> ("something" "is" "smart" "-"))
If something is cold and not round then it is quiet.
((("something" "is" "cold" "+") ("something" "is" "round" "~")) -> ("something" "is" "quiet" "+"))
If something is cold and nice then it is quiet.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
Bob is smart.
True
1
proof
[(triple11)]
("Bob" "is" "smart" "+")
triple11
Gary is not kind.
False
1
inv-proof
[(triple13)]
("Gary" "is" "kind" "-")
triple13
Anne is quiet.
True
3
proof
[(((triple1 triple4) -> rule3))]
("Anne" "is" "quiet" "+")
((triple1 triple4) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is not quiet.
False
3
inv-proof
[(((triple1 triple4) -> rule3))]
("Anne" "is" "quiet" "-")
((triple1 triple4) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is not smart.
True
5
proof
[(((((triple1 triple4) -> rule3) triple1) -> rule1))]
("Anne" "is" "smart" "-")
((((triple1 triple4) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Anne is not smart.
("Anne" "is" "smart" "-")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
False
5
inv-proof
[(((((triple1 triple4) -> rule3) triple1) -> rule1))]
("Anne" "is" "smart" "+")
((((triple1 triple4) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Anne is not smart.
("Anne" "is" "smart" "-")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is not furry.[(triple2)] Bob is furry.[(triple6)] Bob is nice.[(triple8)] Bob is not cold.[(triple5)] Bob is not kind.[(triple7)] Bob is quiet.[(triple9)] Bob is round.[(triple10)] Bob is smart.[(triple11)] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is quiet.[(triple14)] Gary is smart.[(triple15)] @1: Anne is quiet.[(((triple1 triple4) -> rule3))] @2: Anne is not smart.[(((((triple1 triple4) -> rule3) triple1) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple8
Bob is not cold.
("Bob" "is" "cold" "-")
triple5
Bob is not kind.
("Bob" "is" "kind" "-")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
triple9
Bob is round.
("Bob" "is" "round" "+")
triple10
Bob is smart.
("Bob" "is" "smart" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple1 triple4) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is not smart.
("Anne" "is" "smart" "-")
((((triple1 triple4) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Anne is not smart.
("Anne" "is" "smart" "-")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2