Fiona is smart. Green people are furry. If someone is kind and white then they are green. If Fiona is smart then Fiona is green. If Fiona is smart and Fiona is white then Fiona is red. If someone is furry then they are kind. All furry people are smart.
Fiona is smart.
("Fiona" "is" "smart" "+")
Green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is kind and white then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If Fiona is smart then Fiona is green.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "green" "+"))
If Fiona is smart and Fiona is white then Fiona is red.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "red" "+"))
If someone is furry then they are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
All furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Fiona is smart.
True
1
proof
[(triple1)]
("Fiona" "is" "smart" "+")
triple1
Fiona is not smart.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "smart" "-")
triple1
Fiona is green.
True
2
proof
[(((triple1) -> rule3))]
("Fiona" "is" "green" "+")
((triple1) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "green" "-")
((triple1) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
True
3
proof
[(((((triple1) -> rule3)) -> rule1))]
("Fiona" "is" "furry" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not furry.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1))]
("Fiona" "is" "furry" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "red" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Fiona is smart.[(triple1)] @1: Fiona is green.[(((triple1) -> rule3))] @2: Fiona is furry.[(((((triple1) -> rule3)) -> rule1))] @3: Fiona is kind.[(((((((triple1) -> rule3)) -> rule1)) -> rule5))]
Fiona is smart.
("Fiona" "is" "smart" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
((triple1) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3