Fiona is furry. Fiona is nice. Fiona is round. Harry is furry. Harry is kind. Harry is not nice. Harry is not quiet. Harry is round. Harry is smart. Harry is white. White, quiet people are furry. If Fiona is furry then Fiona is not smart. Quiet, nice people are not white.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
White, quiet people are furry.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is furry then Fiona is not smart.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "smart" "-"))
Quiet, nice people are not white.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "-"))
Fiona is nice.
True
1
proof
[(triple2)]
("Fiona" "is" "nice" "+")
triple2
Harry is nice.
False
1
inv-proof
[(triple6)]
("Harry" "is" "nice" "+")
triple6
Fiona is not smart.
True
2
proof
[(((triple1) -> rule2))]
("Fiona" "is" "smart" "-")
((triple1) -> (rule2 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is smart.
False
2
inv-proof
[(((triple1) -> rule2))]
("Fiona" "is" "smart" "+")
((triple1) -> (rule2 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Fiona is furry.[(triple1)] Fiona is nice.[(triple2)] Fiona is round.[(triple3)] Harry is furry.[(triple4)] Harry is kind.[(triple5)] Harry is not nice.[(triple6)] Harry is not quiet.[(triple7)] Harry is round.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Fiona is not smart.[(((triple1) -> rule2))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Harry is furry.
("Harry" "is" "furry" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple5
Harry is not nice.
("Harry" "is" "nice" "-")
triple6
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple8
Harry is smart.
("Harry" "is" "smart" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Fiona is not smart.
("Fiona" "is" "smart" "-")
((triple1) -> (rule2 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1