Erin is nice. Erin is white. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is rough. Fiona is round. Cold people are quiet. Nice people are cold.
Erin is nice.
("Erin" "is" "nice" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Cold people are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
Nice people are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Fiona is round.
True
1
proof
[(triple7)]
("Fiona" "is" "round" "+")
triple7
Erin is not nice.
False
1
inv-proof
[(triple1)]
("Erin" "is" "nice" "-")
triple1
Fiona is quiet.
True
2
proof
[(((triple3) -> rule1) OR ((((triple5) -> rule2)) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple3) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Erin is not cold.
False
2
inv-proof
[(((triple1) -> rule2))]
("Erin" "is" "cold" "-")
((triple1) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("Erin" "is" "quiet" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is not quiet.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("Erin" "is" "quiet" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Erin is nice.[(triple1)] Erin is white.[(triple2)] Fiona is cold.[(triple3 OR ((triple5) -> rule2))] Fiona is furry.[(triple4)] Fiona is nice.[(triple5)] Fiona is rough.[(triple6)] Fiona is round.[(triple7)] @1: Erin is cold.[(((triple1) -> rule2))] Fiona is quiet.[(((triple3) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] @2: Erin is quiet.[(((((triple1) -> rule2)) -> rule1))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
((triple5) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple3) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2