Fiona is furry. Fiona is rough. Fiona is white. If Fiona is white then Fiona is smart. If something is nice and smart then it is rough. All kind, big things are smart. All rough things are kind. Smart, kind things are rough. Nice things are white.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is white then Fiona is smart.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "smart" "+"))
If something is nice and smart then it is rough.
((("something" "is" "nice" "+") ("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
All kind, big things are smart.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
All rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Smart, kind things are rough.
((("something" "is" "smart" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
Nice things are white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Fiona is furry.
True
1
proof
[(triple1)]
("Fiona" "is" "furry" "+")
triple1
Fiona is not furry.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "furry" "-")
triple1
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Fiona is furry.[(triple1)] Fiona is rough.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is kind.[(((triple2) -> rule4))] Fiona is smart.[(((triple3) -> rule1))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple2) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple3) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1