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