Erin is furry. All furry, young things are big. If Erin is furry then Erin is round. If Erin is furry then Erin is round. Smart, young things are big. If Erin is young then Erin is cold. If Erin is furry and Erin is round then Erin is young.
Erin is furry.
("Erin" "is" "furry" "+")
All furry, young things are big.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If Erin is furry then Erin is round.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "round" "+"))
If Erin is furry then Erin is round.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "round" "+"))
Smart, young things are big.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If Erin is young then Erin is cold.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "cold" "+"))
If Erin is furry and Erin is round then Erin is young.
((("Erin" "is" "furry" "+") ("Erin" "is" "round" "+")) -> ("Erin" "is" "young" "+"))
Erin is furry.
True
1
proof
[(triple1)]
("Erin" "is" "furry" "+")
triple1
Erin is not furry.
False
1
inv-proof
[(triple1)]
("Erin" "is" "furry" "-")
triple1
Erin is round.
True
2
proof
[(((triple1) -> rule2) OR ((triple1) -> rule3))]
("Erin" "is" "round" "+")
((triple1) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple1) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple1) -> rule2) OR ((triple1) -> rule3))]
("Erin" "is" "round" "-")
((triple1) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple1) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
True
4
proof
[(((triple1 ((triple1) -> rule2)) -> rule6) OR ((triple1 ((triple1) -> rule3)) -> rule6))]
("Erin" "is" "young" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((triple1 ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is not young.
False
4
inv-proof
[(((triple1 ((triple1) -> rule2)) -> rule6) OR ((triple1 ((triple1) -> rule3)) -> rule6))]
("Erin" "is" "young" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((triple1 ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is cold.
True
5
proof
[(((((triple1 ((triple1) -> rule2)) -> rule6)) -> rule5) OR ((((triple1 ((triple1) -> rule3)) -> rule6)) -> rule5))]
("Erin" "is" "cold" "+")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple1 ((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is not cold.
False
5
inv-proof
[(((((triple1 ((triple1) -> rule2)) -> rule6)) -> rule5) OR ((((triple1 ((triple1) -> rule3)) -> rule6)) -> rule5))]
("Erin" "is" "cold" "-")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple1 ((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Erin is furry.[(triple1)] @1: Erin is round.[(((triple1) -> rule2) OR ((triple1) -> rule3))] @2: Erin is young.[(((triple1 ((triple1) -> rule2)) -> rule6) OR ((triple1 ((triple1) -> rule3)) -> rule6))] @3: Erin is big.[(((triple1 ((triple1 ((triple1) -> rule2)) -> rule6)) -> rule1) OR ((triple1 ((triple1 ((triple1) -> rule3)) -> rule6)) -> rule1))] Erin is cold.[(((((triple1 ((triple1) -> rule2)) -> rule6)) -> rule5) OR ((((triple1 ((triple1) -> rule3)) -> rule6)) -> rule5))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
((triple1) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple1) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((triple1 ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((triple1 ((triple1 ((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((triple1 ((triple1 ((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple1 ((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3