Erin is furry. If Erin is furry then Erin is nice. If something is young and not round then it is furry. If Erin is nice then Erin is blue. If something is round and not furry then it is nice. Blue things are kind. All furry things are kind. If Erin is round and Erin is not nice then Erin is rough. If Erin is blue then Erin is not rough.
Erin is furry.
("Erin" "is" "furry" "+")
If Erin is furry then Erin is nice.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "nice" "+"))
If something is young and not round then it is furry.
((("something" "is" "young" "+") ("something" "is" "round" "~")) -> ("something" "is" "furry" "+"))
If Erin is nice then Erin is blue.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "blue" "+"))
If something is round and not furry then it is nice.
((("something" "is" "round" "+") ("something" "is" "furry" "~")) -> ("something" "is" "nice" "+"))
Blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
All furry things are kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
If Erin is round and Erin is not nice then Erin is rough.
((("Erin" "is" "round" "+") ("Erin" "is" "nice" "~")) -> ("Erin" "is" "rough" "+"))
If Erin is blue then Erin is not rough.
((("Erin" "is" "blue" "+")) -> ("Erin" "is" "rough" "-"))
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 kind.
True
2
proof
[(((triple1) -> rule6) OR ((((((triple1) -> rule1)) -> rule3)) -> rule5))]
("Erin" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is not kind.
False
2
inv-proof
[(((triple1) -> rule6) OR ((((((triple1) -> rule1)) -> rule3)) -> rule5))]
("Erin" "is" "kind" "-")
((triple1) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is blue.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("Erin" "is" "blue" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is not blue.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("Erin" "is" "blue" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Erin is furry.[(triple1)] @1: Erin is kind.[(((triple1) -> rule6) OR ((((((triple1) -> rule1)) -> rule3)) -> rule5))] Erin is nice.[(((triple1) -> rule1))] @2: Erin is blue.[(((((triple1) -> rule1)) -> rule3))] @3: Erin is not rough.[(((((((triple1) -> rule1)) -> rule3)) -> rule8))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is not rough.
("Erin" "is" "rough" "-")
((((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3