Fiona is young. If Fiona is nice and Fiona is not rough then Fiona is kind. All big things are not nice. Young, blue things are not nice. Furry, nice things are blue. If something is big and not young then it is blue. If something is blue then it is kind. Young things are kind. Kind, blue things are furry.
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is nice and Fiona is not rough then Fiona is kind.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "rough" "~")) -> ("Fiona" "is" "kind" "+"))
All big things are not nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "-"))
Young, blue things are not nice.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "-"))
Furry, nice things are blue.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If something is big and not young then it is blue.
((("something" "is" "big" "+") ("something" "is" "young" "~")) -> ("something" "is" "blue" "+"))
If something is blue then it is kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
Young things are kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
Kind, blue things are furry.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
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 kind.
True
2
proof
[(((triple1) -> rule7))]
("Fiona" "is" "kind" "+")
((triple1) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple1) -> rule7))]
("Fiona" "is" "kind" "-")
((triple1) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not furry.
Unknown
inv-rconc
[@2: Fiona is furry.[CWA. Example of deepest failure = (rule8 <- rule4 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is blue.
Unknown
rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "blue" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Fiona is young.[(triple1)] @1: Fiona is kind.[(((triple1) -> rule7))]
Fiona is young.
("Fiona" "is" "young" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple1) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1