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