Erin is quiet. Erin is smart. Fiona is round. All green people are round. If Fiona is smart then Fiona is young. Round people are not white. If someone is round and not quiet then they are young. If someone is round and green then they are not blue. If someone is round and not white then they are blue.
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If Fiona is smart then Fiona is young.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "young" "+"))
Round people are not white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "-"))
If someone is round and not quiet then they are young.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "young" "+"))
If someone is round and green then they are not blue.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "-"))
If someone is round and not white then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "blue" "+"))
Erin is quiet.
True
1
proof
[(triple1)]
("Erin" "is" "quiet" "+")
triple1
Fiona is not round.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "round" "-")
triple3
Fiona is not white.
True
2
proof
[(((triple3) -> rule3))]
("Fiona" "is" "white" "-")
((triple3) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is white.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "white" "+")
((triple3) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is blue.
True
4
proof
[(((triple3 ((triple3) -> rule3)) -> rule6))]
("Fiona" "is" "blue" "+")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2
Fiona is not blue.
False
4
inv-proof
[(((triple3 ((triple3) -> rule3)) -> rule6))]
("Fiona" "is" "blue" "-")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is round.
Unknown
rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "round" "+")
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "blue" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Erin is quiet.[(triple1)] Erin is smart.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is not white.[(((triple3) -> rule3))] @2: Fiona is blue.[(((triple3 ((triple3) -> rule3)) -> rule6))]
Erin is quiet.
("Erin" "is" "quiet" "+")
triple1
Erin is smart.
("Erin" "is" "smart" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Fiona is not white.
("Fiona" "is" "white" "-")
((triple3) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2