Dave is furry. Dave is kind. Dave is not nice. Dave is quiet. Dave is red. Dave is round. Dave is smart. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is not red. Fiona is smart. If someone is furry and not smart then they are not red. If someone is smart and not red then they are not quiet.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is furry and not smart then they are not red.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "red" "-"))
If someone is smart and not red then they are not quiet.
((("someone" "is" "smart" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "quiet" "-"))
Fiona is kind.
True
1
proof
[(triple9)]
("Fiona" "is" "kind" "+")
triple9
Dave is not red.
False
1
inv-proof
[(triple5)]
("Dave" "is" "red" "-")
triple5
Fiona is not quiet.
True
3
proof
[(((triple12 triple11) -> rule2))]
("Fiona" "is" "quiet" "-")
((triple12 triple11) -> (rule2 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is quiet.
False
3
inv-proof
[(((triple12 triple11) -> rule2))]
("Fiona" "is" "quiet" "+")
((triple12 triple11) -> (rule2 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2)] Dave is not nice.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7)] Fiona is furry.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10)] Fiona is not red.[(triple11)] Fiona is smart.[(triple12)] @1: Fiona is not quiet.[(((triple12 triple11) -> rule2))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is not nice.
("Dave" "is" "nice" "-")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple6
Dave is smart.
("Dave" "is" "smart" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is not red.
("Fiona" "is" "red" "-")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((triple12 triple11) -> (rule2 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1