Erin is big. Erin is round. Erin is young. Round things are furry. If Erin is furry and Erin is big then Erin is nice. All furry things are round.
Erin is big.
("Erin" "is" "big" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Round things are furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
If Erin is furry and Erin is big then Erin is nice.
((("Erin" "is" "furry" "+") ("Erin" "is" "big" "+")) -> ("Erin" "is" "nice" "+"))
All furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
Erin is round.
True
1
proof
[(triple2)]
("Erin" "is" "round" "+")
triple2
Erin is not round.
False
1
inv-proof
[(triple2)]
("Erin" "is" "round" "-")
triple2
Erin is furry.
True
2
proof
[(((triple2) -> rule1))]
("Erin" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "furry" "-")
((triple2) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
True
4
proof
[(((((triple2) -> rule1) triple1) -> rule2))]
("Erin" "is" "nice" "+")
((((triple2) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is not nice.
False
4
inv-proof
[(((((triple2) -> rule1) triple1) -> rule2))]
("Erin" "is" "nice" "-")
((((triple2) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Erin is big.[(triple1)] Erin is round.[(triple2)] Erin is young.[(triple3)] @1: Erin is furry.[(((triple2) -> rule1))] @2: Erin is nice.[(((((triple2) -> rule1) triple1) -> rule2))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((((triple2) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2