Anne is not cold. Anne is young. Dave is cold. Dave is red. Dave is young. Erin is not furry. Erin is nice. Erin is not quiet. Fiona is nice. Fiona is red. If someone is red then they are nice. Nice, young people are quiet. All white people are quiet.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is young.
("Anne" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If someone is red then they are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Nice, young people are quiet.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
All white people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Erin is not quiet.
True
1
proof
[(triple8)]
("Erin" "is" "quiet" "-")
triple8
Anne is cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Dave is nice.
True
2
proof
[(((triple4) -> rule1))]
("Dave" "is" "nice" "+")
((triple4) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple4) -> rule1))]
("Dave" "is" "nice" "-")
((triple4) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
True
4
proof
[(((((triple4) -> rule1) triple5) -> rule2))]
("Dave" "is" "quiet" "+")
((((triple4) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not quiet.
False
4
inv-proof
[(((((triple4) -> rule1) triple5) -> rule2))]
("Dave" "is" "quiet" "-")
((((triple4) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Anne is nice.
Unknown
rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "+")
Anne is not quiet.
Unknown
inv-rconc
[@2: Anne is quiet.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Anne" "is" "quiet" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Anne is not cold.[(triple1)] Anne is young.[(triple2)] Dave is cold.[(triple3)] Dave is red.[(triple4)] Dave is young.[(triple5)] Erin is nice.[(triple7)] Erin is not furry.[(triple6)] Erin is not quiet.[(triple8)] Fiona is nice.[(triple9 OR ((triple10) -> rule1))] Fiona is red.[(triple10)] @1: Dave is nice.[(((triple4) -> rule1))] @2: Dave is quiet.[(((((triple4) -> rule1) triple5) -> rule2))]
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is not furry.
("Erin" "is" "furry" "-")
triple6
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
((triple10) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Dave is nice.
("Dave" "is" "nice" "+")
((triple4) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((((triple4) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2