Erin is cold. Erin is round. Erin is smart. If Erin is furry then Erin is round. If someone is round and smart then they are nice.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If Erin is furry then Erin is round.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "round" "+"))
If someone is round and smart then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
Erin is smart.
True
1
proof
[(triple3)]
("Erin" "is" "smart" "+")
triple3
Erin is not round.
False
1
inv-proof
[(triple2)]
("Erin" "is" "round" "-")
triple2
Erin is nice.
True
3
proof
[(((triple2 triple3) -> rule2))]
("Erin" "is" "nice" "+")
((triple2 triple3) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not nice.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("Erin" "is" "nice" "-")
((triple2 triple3) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Erin is cold.[(triple1)] Erin is round.[(triple2)] Erin is smart.[(triple3)] @1: Erin is nice.[(((triple2 triple3) -> rule2))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
((triple2 triple3) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1