Dave is cold. Erin is round. Fiona is blue. White people are blue. Round, kind people are blue. Furry people are kind. All white people are furry. All round people are white. All kind people are green. If Dave is not kind and Dave is not white then Dave is green. If Fiona is not white then Fiona is not green.
Dave is cold.
("Dave" "is" "cold" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
White people are blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Round, kind people are blue.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
All white people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
All round people are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
All kind people are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If Dave is not kind and Dave is not white then Dave is green.
((("Dave" "is" "kind" "~") ("Dave" "is" "white" "~")) -> ("Dave" "is" "green" "+"))
If Fiona is not white then Fiona is not green.
((("Fiona" "is" "white" "~")) -> ("Fiona" "is" "green" "-"))
Dave is cold.
True
1
proof
[(triple1)]
("Dave" "is" "cold" "+")
triple1
Erin is not round.
False
1
inv-proof
[(triple2)]
("Erin" "is" "round" "-")
triple2
Erin is white.
True
2
proof
[(((triple2) -> rule5))]
("Erin" "is" "white" "+")
((triple2) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple2) -> rule5))]
("Erin" "is" "white" "-")
((triple2) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
True
3
proof
[(((((triple2) -> rule5)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule2))]
("Erin" "is" "blue" "+")
((((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((triple2 ((((((triple2) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is not furry.
False
3
inv-proof
[(((((triple2) -> rule5)) -> rule4))]
("Erin" "is" "furry" "-")
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
True
4
proof
[(((((((triple2) -> rule5)) -> rule4)) -> rule3))]
("Erin" "is" "kind" "+")
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is not kind.
False
4
inv-proof
[(((((((triple2) -> rule5)) -> rule4)) -> rule3))]
("Erin" "is" "kind" "-")
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Fiona is not furry.
Unknown
inv-rconc
[@2: Fiona is furry.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is green.
Unknown
rconc
[@4: Fiona is green.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule4 <- rule5 <- FAIL)]]
("Fiona" "is" "green" "+")
Dave is not furry.
Unknown
inv-rconc
[@2: Dave is furry.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is blue.
Unknown
rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Dave" "is" "blue" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Dave is cold.[(triple1)] Erin is round.[(triple2)] Fiona is blue.[(triple3)] @1: Erin is white.[(((triple2) -> rule5))] @2: Erin is blue.[(((((triple2) -> rule5)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule2))] Erin is furry.[(((((triple2) -> rule5)) -> rule4))] @3: Erin is kind.[(((((((triple2) -> rule5)) -> rule4)) -> rule3))] @4: Erin is green.[(((((((((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule6))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
((triple2) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((triple2 ((((((triple2) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
((((((((triple2) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4