Fiona is young. All young things are furry. If something is kind and young then it is big. If something is furry and not kind then it is young.
Fiona is young.
("Fiona" "is" "young" "+")
All young things are furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
If something is kind and young then it is big.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If something is furry and not kind then it is young.
((("something" "is" "furry" "+") ("something" "is" "kind" "~")) -> ("something" "is" "young" "+"))
Fiona is young.
True
1
proof
[(triple1)]
("Fiona" "is" "young" "+")
triple1
Fiona is not young.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "young" "-")
triple1
Fiona is furry.
True
2
proof
[(((triple1) -> rule1))]
("Fiona" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple1) -> rule1))]
("Fiona" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "big" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Fiona is young.[(triple1)] @1: Fiona is furry.[(((triple1) -> rule1))]
Fiona is young.
("Fiona" "is" "young" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1