Fiona is young. Smart, rough people are furry. If someone is young then they are big. If someone is furry then they are cold. Furry, big people are kind. If Fiona is furry then Fiona is smart. If someone is cold then they are kind. If someone is smart then they are cold. If Fiona is rough and Fiona is kind then Fiona is smart.
Fiona is young.
("Fiona" "is" "young" "+")
Smart, rough people are furry.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
If someone is young then they are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is furry then they are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Furry, big people are kind.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If Fiona is furry then Fiona is smart.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "smart" "+"))
If someone is cold then they are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is smart then they are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
If Fiona is rough and Fiona is kind then Fiona is smart.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "smart" "+"))
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 not smart.
Unknown
inv-rconc
[@2: Fiona is smart.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Fiona" "is" "smart" "-")
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 big.[(((triple1) -> rule2))]
Fiona is young.
("Fiona" "is" "young" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
((triple1) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1