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