Dave is furry. Fiona is nice. Fiona is young. All young people are furry. All furry people are green. If Dave is red then Dave is not kind.
Dave is furry.
("Dave" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All young people are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
All furry people are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If Dave is red then Dave is not kind.
((("Dave" "is" "red" "+")) -> ("Dave" "is" "kind" "-"))
Fiona is young.
True
1
proof
[(triple3)]
("Fiona" "is" "young" "+")
triple3
Fiona is not young.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "young" "-")
triple3
Fiona is furry.
True
2
proof
[(((triple3) -> rule1))]
("Fiona" "is" "furry" "+")
((triple3) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple3) -> rule1))]
("Fiona" "is" "furry" "-")
((triple3) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
True
3
proof
[(((((triple3) -> rule1)) -> rule2))]
("Fiona" "is" "green" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not green.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule2))]
("Fiona" "is" "green" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Dave is furry.[(triple1)] Fiona is nice.[(triple2)] Fiona is young.[(triple3)] @1: Dave is green.[(((triple1) -> rule2))] Fiona is furry.[(((triple3) -> rule1))] @2: Fiona is green.[(((((triple3) -> rule1)) -> rule2))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
((triple1) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple3) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2