Fiona is green. If something is furry and not green then it is nice. If something is furry then it is nice. If something is green then it is furry. Nice things are furry. If something is white and not nice then it is blue. Furry, cold things are blue. If Fiona is white and Fiona is blue then Fiona is cold. If Fiona is blue and Fiona is furry then Fiona is cold.
Fiona is green.
("Fiona" "is" "green" "+")
If something is furry and not green then it is nice.
((("something" "is" "furry" "+") ("something" "is" "green" "~")) -> ("something" "is" "nice" "+"))
If something is furry then it is nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
If something is green then it is furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Nice things are furry.
((("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
If something is white and not nice then it is blue.
((("something" "is" "white" "+") ("something" "is" "nice" "~")) -> ("something" "is" "blue" "+"))
Furry, cold things are blue.
((("something" "is" "furry" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If Fiona is white and Fiona is blue then Fiona is cold.
((("Fiona" "is" "white" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "cold" "+"))
If Fiona is blue and Fiona is furry then Fiona is cold.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "cold" "+"))
Fiona is green.
True
1
proof
[(triple1)]
("Fiona" "is" "green" "+")
triple1
Fiona is not green.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "green" "-")
triple1
Fiona is furry.
True
2
proof
[(((triple1) -> rule3))]
("Fiona" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "furry" "-")
((triple1) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
True
3
proof
[(((((triple1) -> rule3)) -> rule2))]
("Fiona" "is" "nice" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not nice.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule2))]
("Fiona" "is" "nice" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not blue.
Unknown
inv-rconc
[@3: Fiona is blue.[CWA. Example of deepest failure = (rule6 <- rule8 <- rule5 <- FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is cold.
Unknown
rconc
[@3: Fiona is cold.[CWA. Example of deepest failure = (rule8 <- rule6 <- rule7 <- FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Fiona is green.[(triple1)] @1: Fiona is furry.[(((triple1) -> rule3))] @2: Fiona is nice.[(((((triple1) -> rule3)) -> rule2))]
Fiona is green.
("Fiona" "is" "green" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2