Erin is quiet. Erin is red. Gary is not blue. Gary is quiet. Gary is red. Gary is smart. Gary is white. If Erin is furry then Erin is blue. If something is furry and nice then it is smart. All furry things are smart. If something is quiet and blue then it is not nice. If something is quiet then it is furry. If Gary is quiet and Gary is nice then Gary is white. If something is smart and blue then it is red. If something is furry and not nice then it is red.
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If Erin is furry then Erin is blue.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "blue" "+"))
If something is furry and nice then it is smart.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
All furry things are smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
If something is quiet and blue then it is not nice.
((("something" "is" "quiet" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "-"))
If something is quiet then it is furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If Gary is quiet and Gary is nice then Gary is white.
((("Gary" "is" "quiet" "+") ("Gary" "is" "nice" "+")) -> ("Gary" "is" "white" "+"))
If something is smart and blue then it is red.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If something is furry and not nice then it is red.
((("something" "is" "furry" "+") ("something" "is" "nice" "~")) -> ("something" "is" "red" "+"))
Gary is smart.
True
1
proof
[(triple6 OR ((((triple4) -> rule5)) -> rule3))]
("Gary" "is" "smart" "+")
triple6
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not smart.
False
1
inv-proof
[(triple6 OR ((((triple4) -> rule5)) -> rule3))]
("Gary" "is" "smart" "-")
triple6
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is furry.
True
2
proof
[(((triple4) -> rule5))]
("Gary" "is" "furry" "+")
((triple4) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple1) -> rule5))]
("Erin" "is" "furry" "-")
((triple1) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
True
3
proof
[(((((triple1) -> rule5)) -> rule1))]
("Erin" "is" "blue" "+")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is not blue.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule1))]
("Erin" "is" "blue" "-")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is not nice.
True
5
proof
[(((triple1 ((((triple1) -> rule5)) -> rule1)) -> rule4))]
("Erin" "is" "nice" "-")
((triple1 ((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule5)) -> rule1)) -> rule4))]
("Erin" "is" "nice" "+")
((triple1 ((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Erin is quiet.[(triple1)] Erin is red.[(triple2 OR ((((((triple1) -> rule5)) -> rule3) ((((triple1) -> rule5)) -> rule1)) -> rule7) OR ((((triple1) -> rule5) ((triple1 ((((triple1) -> rule5)) -> rule1)) -> rule4)) -> rule8))] Gary is not blue.[(triple3)] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6 OR ((((triple4) -> rule5)) -> rule3))] Gary is white.[(triple7)] @1: Erin is furry.[(((triple1) -> rule5))] Gary is furry.[(((triple4) -> rule5))] @2: Erin is blue.[(((((triple1) -> rule5)) -> rule1))] Erin is smart.[(((((triple1) -> rule5)) -> rule3))] @3: Erin is not nice.[(((triple1 ((((triple1) -> rule5)) -> rule1)) -> rule4))]
Erin is quiet.
("Erin" "is" "quiet" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
((((((triple1) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple1) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple1) -> (rule5 % int4)) ((triple1 ((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not nice.
("Erin" "is" "nice" "-")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Gary is not blue.
("Gary" "is" "blue" "-")
triple3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple6
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
((triple1) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple4) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is not nice.
("Erin" "is" "nice" "-")
((triple1 ((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3