Anne is young. Dave is furry. Erin is young. Harry is white. If someone is white and red then they are kind. All furry, white people are round. All kind, quiet people are red. Red, white people are quiet. All kind, young people are white. Quiet, furry people are kind. If someone is red then they are round. Young people are red.
Anne is young.
("Anne" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is white and red then they are kind.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
All furry, white people are round.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
All kind, quiet people are red.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
Red, white people are quiet.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
All kind, young people are white.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
Quiet, furry people are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
Harry is white.
True
1
proof
[(triple4)]
("Harry" "is" "white" "+")
triple4
Dave is not furry.
False
1
inv-proof
[(triple2)]
("Dave" "is" "furry" "-")
triple2
Anne is red.
True
2
proof
[(((triple1) -> rule8))]
("Anne" "is" "red" "+")
((triple1) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple3) -> rule8))]
("Erin" "is" "red" "-")
((triple3) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Anne is round.
True
3
proof
[(((((triple1) -> rule8)) -> rule7))]
("Anne" "is" "round" "+")
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is not round.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule7))]
("Anne" "is" "round" "-")
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Erin is not white.
Unknown
inv-rconc
[@2: Erin is white.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Erin" "is" "white" "-")
Anne is white.
Unknown
rconc
[@2: Anne is white.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Anne" "is" "white" "+")
Erin is not kind.
Unknown
inv-rconc
[@3: Erin is kind.[CWA. Example of deepest failure = (rule1 <- rule5 <- rule6 <- FAIL)]]
("Erin" "is" "kind" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Anne is young.[(triple1)] Dave is furry.[(triple2)] Erin is young.[(triple3)] Harry is white.[(triple4)] @1: Anne is red.[(((triple1) -> rule8))] Erin is red.[(((triple3) -> rule8))] @2: Anne is round.[(((((triple1) -> rule8)) -> rule7))] Erin is round.[(((((triple3) -> rule8)) -> rule7))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Harry is white.
("Harry" "is" "white" "+")
triple4
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple3) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((((triple3) -> (rule8 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2