Erin is cold. Erin is quiet. Erin is red. Erin is rough. Erin is white. Fiona is quiet. Fiona is young. If Erin is young then Erin is white. All cold things are white. All red things are big. If Fiona is cold and Fiona is red then Fiona is young. White things are big. If Fiona is quiet then Fiona is cold.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Erin is young then Erin is white.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "white" "+"))
All cold things are white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
All red things are big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If Fiona is cold and Fiona is red then Fiona is young.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "red" "+")) -> ("Fiona" "is" "young" "+"))
White things are big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
If Fiona is quiet then Fiona is cold.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "cold" "+"))
Fiona is quiet.
True
1
proof
[(triple6)]
("Fiona" "is" "quiet" "+")
triple6
Erin is not rough.
False
1
inv-proof
[(triple4)]
("Erin" "is" "rough" "-")
triple4
Fiona is cold.
True
2
proof
[(((triple6) -> rule6))]
("Fiona" "is" "cold" "+")
((triple6) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple6) -> rule6))]
("Fiona" "is" "cold" "-")
((triple6) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
True
3
proof
[(((((triple6) -> rule6)) -> rule2))]
("Fiona" "is" "white" "+")
((((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not white.
False
3
inv-proof
[(((((triple6) -> rule6)) -> rule2))]
("Fiona" "is" "white" "-")
((((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
True
4
proof
[(((((((triple6) -> rule6)) -> rule2)) -> rule5))]
("Fiona" "is" "big" "+")
((((((triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is not big.
False
4
inv-proof
[(((((((triple6) -> rule6)) -> rule2)) -> rule5))]
("Fiona" "is" "big" "-")
((((((triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Erin is cold.[(triple1)] Erin is quiet.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is white.[(triple5 OR ((triple1) -> rule2))] Fiona is quiet.[(triple6)] Fiona is young.[(triple7)] @1: Erin is big.[(((triple3) -> rule3) OR ((triple5) -> rule5) OR ((((triple1) -> rule2)) -> rule5))] Fiona is cold.[(((triple6) -> rule6))] @2: Fiona is white.[(((((triple6) -> rule6)) -> rule2))] @3: Fiona is big.[(((((((triple6) -> rule6)) -> rule2)) -> rule5))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
((triple1) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
((triple3) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple5) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple6) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3