Erin is big. Erin is round. Erin is smart. If Erin is young then Erin is smart. If something is big then it is rough.
Erin is big.
("Erin" "is" "big" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If Erin is young then Erin is smart.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "smart" "+"))
If something is big then it is rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Erin is smart.
True
1
proof
[(triple3)]
("Erin" "is" "smart" "+")
triple3
Erin is not smart.
False
1
inv-proof
[(triple3)]
("Erin" "is" "smart" "-")
triple3
Erin is rough.
True
2
proof
[(((triple1) -> rule2))]
("Erin" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("Erin" "is" "rough" "-")
((triple1) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Erin is big.[(triple1)] Erin is round.[(triple2)] Erin is smart.[(triple3)] @1: Erin is rough.[(((triple1) -> rule2))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1