Anne is green. Anne is white. Erin is green. If Anne is blue then Anne is round. If something is round and green then it is furry. If something is kind then it is young. All young things are blue. Furry, white things are round. White things are round. If Anne is green and Anne is furry then Anne is kind. Young, round things are kind.
Anne is green.
("Anne" "is" "green" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is green.
("Erin" "is" "green" "+")
If Anne is blue then Anne is round.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "round" "+"))
If something is round and green then it is furry.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
If something is kind then it is young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
All young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Furry, white things are round.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
White things are round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
If Anne is green and Anne is furry then Anne is kind.
((("Anne" "is" "green" "+") ("Anne" "is" "furry" "+")) -> ("Anne" "is" "kind" "+"))
Young, round things are kind.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Anne is white.
True
1
proof
[(triple2)]
("Anne" "is" "white" "+")
triple2
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Anne is round.
True
2
proof
[(((triple2) -> rule6))]
("Anne" "is" "round" "+")
((triple2) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not round.
False
2
inv-proof
[(((triple2) -> rule6))]
("Anne" "is" "round" "-")
((triple2) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
True
4
proof
[(((((triple2) -> rule6) triple1) -> rule2))]
("Anne" "is" "furry" "+")
((((triple2) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is not furry.
False
4
inv-proof
[(((((triple2) -> rule6) triple1) -> rule2))]
("Anne" "is" "furry" "-")
((((triple2) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is kind.
True
6
proof
[(((triple1 ((((triple2) -> rule6) triple1) -> rule2)) -> rule7))]
("Anne" "is" "kind" "+")
((triple1 ((((triple2) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is not kind.
False
6
inv-proof
[(((triple1 ((((triple2) -> rule6) triple1) -> rule2)) -> rule7))]
("Anne" "is" "kind" "-")
((triple1 ((((triple2) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Erin is not furry.
Unknown
inv-rconc
[@2: Erin is furry.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Erin" "is" "furry" "-")
Erin is round.
Unknown
rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "round" "+")
Erin is not young.
Unknown
inv-rconc
[@2: Erin is young.[CWA. Example of deepest failure = (rule3 <- rule8 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is kind.
Unknown
rconc
[@2: Erin is kind.[CWA. Example of deepest failure = (rule8 <- rule3 <- FAIL)]]
("Erin" "is" "kind" "+")
@0: Anne is green.[(triple1)] Anne is white.[(triple2)] Erin is green.[(triple3)] @1: Anne is round.[(((triple2) -> rule6))] @2: Anne is furry.[(((((triple2) -> rule6) triple1) -> rule2))] @3: Anne is kind.[(((triple1 ((((triple2) -> rule6) triple1) -> rule2)) -> rule7))] @4: Anne is young.[(((((triple1 ((((triple2) -> rule6) triple1) -> rule2)) -> rule7)) -> rule3))] @5: Anne is blue.[(((((((triple1 ((((triple2) -> rule6) triple1) -> rule2)) -> rule7)) -> rule3)) -> rule4))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
((triple2) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((((triple2) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
((triple1 ((((triple2) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
((((triple1 ((((triple2) -> (rule6 % int4)) triple1) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
((((((triple1 ((((triple2) -> (rule6 % int5)) triple1) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5