Erin is green. Fiona is red. Fiona is not rough. Fiona is white. Fiona is young. Gary is green. Gary is kind. Gary is not red. Gary is rough. Gary is white. All white, red things are kind. White, furry things are not green. All young things are furry.
Erin is green.
("Erin" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
All white, red things are kind.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
White, furry things are not green.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "-"))
All young things are furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Fiona is young.
True
1
proof
[(triple5)]
("Fiona" "is" "young" "+")
triple5
Gary is not green.
False
1
inv-proof
[(triple6)]
("Gary" "is" "green" "-")
triple6
Fiona is furry.
True
2
proof
[(((triple5) -> rule3))]
("Fiona" "is" "furry" "+")
((triple5) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple5) -> rule3))]
("Fiona" "is" "furry" "-")
((triple5) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not green.
True
4
proof
[(((triple4 ((triple5) -> rule3)) -> rule2))]
("Fiona" "is" "green" "-")
((triple4 ((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
False
4
inv-proof
[(((triple4 ((triple5) -> rule3)) -> rule2))]
("Fiona" "is" "green" "+")
((triple4 ((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "furry" "-")
Gary is furry.
Unknown
rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "furry" "+")
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "kind" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Erin is green.[(triple1)] Fiona is not rough.[(triple3)] Fiona is red.[(triple2)] Fiona is white.[(triple4)] Fiona is young.[(triple5)] Gary is green.[(triple6)] Gary is kind.[(triple7)] Gary is not red.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10)] @1: Fiona is furry.[(((triple5) -> rule3))] Fiona is kind.[(((triple4 triple2) -> rule1))] @2: Fiona is not green.[(((triple4 ((triple5) -> rule3)) -> rule2))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is not red.
("Gary" "is" "red" "-")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple5) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple4 triple2) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
((triple4 ((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2