Erin is blue. Erin is rough. Erin is white. Fiona is blue. Fiona is nice. Fiona is rough. Fiona is white. If someone is nice then they are not red. All round people are smart. If Fiona is white then Fiona is smart. If someone is blue then they are rough. If someone is nice and not round then they are rough. If someone is rough and not blue then they are not white. If someone is rough then they are white. If someone is smart then they are white.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is nice then they are not red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "-"))
All round people are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is white then Fiona is smart.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "smart" "+"))
If someone is blue then they are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and not round then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "rough" "+"))
If someone is rough and not blue then they are not white.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "white" "-"))
If someone is rough then they are white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
If someone is smart then they are white.
((("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
Fiona is nice.
True
1
proof
[(triple5)]
("Fiona" "is" "nice" "+")
triple5
Erin is not white.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule7) OR ((((triple1) -> rule4)) -> rule7))]
("Erin" "is" "white" "-")
triple3
((triple2) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is not smart.
Unknown
inv-rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "smart" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Erin is blue.[(triple1)] Erin is rough.[(triple2 OR ((triple1) -> rule4))] Erin is white.[(triple3 OR ((triple2) -> rule7) OR ((((triple1) -> rule4)) -> rule7))] Fiona is blue.[(triple4)] Fiona is nice.[(triple5)] Fiona is rough.[(triple6 OR ((triple4) -> rule4))] Fiona is white.[(triple7 OR ((triple6) -> rule7) OR ((((triple4) -> rule4)) -> rule7))] @1: Fiona is not red.[(((triple5) -> rule1))] Fiona is smart.[(((triple7) -> rule3) OR ((((triple6) -> rule7)) -> rule3) OR ((((((triple4) -> rule4)) -> rule7)) -> rule3))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
((triple1) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple3
((triple2) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
((triple4) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple7
((triple6) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not red.
("Fiona" "is" "red" "-")
((triple5) -> (rule1 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple7) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple6) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3