Fiona is not big. Fiona is furry. Fiona is smart. All furry, smart people are quiet. If someone is quiet then they are furry.
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All furry, smart people are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
If someone is quiet then they are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Fiona is furry.
True
1
proof
[(triple2)]
("Fiona" "is" "furry" "+")
triple2
Fiona is not smart.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "smart" "-")
triple3
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Fiona is furry.[(triple2)] Fiona is not big.[(triple1)] Fiona is smart.[(triple3)] @1: Fiona is quiet.[(((triple2 triple3) -> rule1))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is not big.
("Fiona" "is" "big" "-")
triple1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple2 triple3) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1