Gary is blue. Gary is green. Gary is kind. Gary is quiet. Gary is not red. Gary is rough. Gary is young. Harry is not blue. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is rough. Harry is not young. All rough, young people are kind. If Gary is green and Gary is not young then Gary is not red.
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not young.
("Harry" "is" "young" "-")
All rough, young people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If Gary is green and Gary is not young then Gary is not red.
((("Gary" "is" "green" "+") ("Gary" "is" "young" "~")) -> ("Gary" "is" "red" "-"))
Gary is blue.
True
1
proof
[(triple1)]
("Gary" "is" "blue" "+")
triple1
Harry is not rough.
False
1
inv-proof
[(triple13)]
("Harry" "is" "rough" "-")
triple13
@0: Gary is blue.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3 OR ((triple6 triple7) -> rule1))] Gary is not red.[(triple5)] Gary is quiet.[(triple4)] Gary is rough.[(triple6)] Gary is young.[(triple7)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is not blue.[(triple8)] Harry is not young.[(triple14)] Harry is quiet.[(triple11)] Harry is red.[(triple12)] Harry is rough.[(triple13)]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
((triple6 triple7) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not red.
("Gary" "is" "red" "-")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is not blue.
("Harry" "is" "blue" "-")
triple8
Harry is not young.
("Harry" "is" "young" "-")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple13