Bob is cold. Bob is furry. Bob is not kind. Bob is not nice. Bob is red. Bob is smart. Bob is not white. Erin is not cold. Erin is not nice. Erin is white. All nice, red things are not smart. If something is white then it is smart. If something is kind and not furry then it is nice.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is not white.
("Bob" "is" "white" "-")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is white.
("Erin" "is" "white" "+")
All nice, red things are not smart.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "is" "smart" "-"))
If something is white then it is smart.
((("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
If something is kind and not furry then it is nice.
((("something" "is" "kind" "+") ("something" "is" "furry" "~")) -> ("something" "is" "nice" "+"))
Erin is not nice.
True
1
proof
[(triple9)]
("Erin" "is" "nice" "-")
triple9
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Erin is smart.
True
2
proof
[(((triple10) -> rule2))]
("Erin" "is" "smart" "+")
((triple10) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple10) -> rule2))]
("Erin" "is" "smart" "-")
((triple10) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is not kind.[(triple3)] Bob is not nice.[(triple4)] Bob is not white.[(triple7)] Bob is red.[(triple5)] Bob is smart.[(triple6)] Erin is not cold.[(triple8)] Erin is not nice.[(triple9)] Erin is white.[(triple10)] @1: Erin is smart.[(((triple10) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is not kind.
("Bob" "is" "kind" "-")
triple3
Bob is not nice.
("Bob" "is" "nice" "-")
triple4
Bob is not white.
("Bob" "is" "white" "-")
triple7
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Erin is not cold.
("Erin" "is" "cold" "-")
triple8
Erin is not nice.
("Erin" "is" "nice" "-")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
((triple10) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1