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