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