Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. Gary is green. Gary is kind. Gary is not nice. Gary is quiet. Gary is rough. Gary is not round. Gary is smart. If someone is green and not smart then they are kind. If someone is rough and not kind then they are round.
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is green and not smart then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "kind" "+"))
If someone is rough and not kind then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "round" "+"))
Fiona is kind.
True
1
proof
[(triple2)]
("Fiona" "is" "kind" "+")
triple2
Fiona is not quiet.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "quiet" "-")
triple4
@0: Fiona is green.[(triple1)] Fiona is kind.[(triple2)] Fiona is nice.[(triple3)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is not nice.[(triple10)] Gary is not round.[(triple13)] Gary is quiet.[(triple11)] Gary is rough.[(triple12)] Gary is smart.[(triple14)]
Fiona is green.
("Fiona" "is" "green" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is not nice.
("Gary" "is" "nice" "-")
triple10
Gary is not round.
("Gary" "is" "round" "-")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Gary is smart.
("Gary" "is" "smart" "+")
triple14