Erin is blue. Erin is quiet. Fiona is big. Fiona is cold. Fiona is quiet. Fiona is smart. Fiona is white. If Erin is cold and Erin is smart then Erin is not furry. If Erin is blue and Erin is smart then Erin is big. White people are smart. Quiet people are white. If someone is white and not big then they are not furry. All smart people are furry.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Erin is cold and Erin is smart then Erin is not furry.
((("Erin" "is" "cold" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "furry" "-"))
If Erin is blue and Erin is smart then Erin is big.
((("Erin" "is" "blue" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "big" "+"))
White people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
Quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If someone is white and not big then they are not furry.
((("someone" "is" "white" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "furry" "-"))
All smart people are furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
Fiona is white.
True
1
proof
[(triple7 OR ((triple5) -> rule4))]
("Fiona" "is" "white" "+")
triple7
((triple5) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not cold.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "cold" "-")
triple4
Erin is white.
True
2
proof
[(((triple2) -> rule4))]
("Erin" "is" "white" "+")
((triple2) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple2) -> rule4))]
("Erin" "is" "white" "-")
((triple2) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
True
3
proof
[(((((triple2) -> rule4)) -> rule3))]
("Erin" "is" "smart" "+")
((((triple2) -> (rule4 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not smart.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule3))]
("Erin" "is" "smart" "-")
((((triple2) -> (rule4 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
True
4
proof
[(((((((triple2) -> rule4)) -> rule3)) -> rule6))]
("Erin" "is" "furry" "+")
((((((triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is not big.
False
5
inv-proof
[(((triple1 ((((triple2) -> rule4)) -> rule3)) -> rule2))]
("Erin" "is" "big" "-")
((triple1 ((((triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Erin is blue.[(triple1)] Erin is quiet.[(triple2)] Fiona is big.[(triple3)] Fiona is cold.[(triple4)] Fiona is quiet.[(triple5)] Fiona is smart.[(triple6 OR ((triple7) -> rule3) OR ((((triple5) -> rule4)) -> rule3))] Fiona is white.[(triple7 OR ((triple5) -> rule4))] @1: Erin is white.[(((triple2) -> rule4))] Fiona is furry.[(((triple6) -> rule6) OR ((((triple7) -> rule3)) -> rule6) OR ((((((triple5) -> rule4)) -> rule3)) -> rule6))] @2: Erin is smart.[(((((triple2) -> rule4)) -> rule3))] @3: Erin is big.[(((triple1 ((((triple2) -> rule4)) -> rule3)) -> rule2))] Erin is furry.[(((((((triple2) -> rule4)) -> rule3)) -> rule6))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
((triple7) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple7
((triple5) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple2) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple6) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((((triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
((((triple2) -> (rule4 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((triple1 ((((triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
((((((triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3