Fiona is big. Fiona is green. Fiona is not nice. Fiona is round. Fiona is white. Gary is big. Gary is blue. Gary is green. Gary is kind. Gary is not nice. Gary is round. Gary is not white. All green, blue people are big. If Gary is white then Gary is not big. All white people are not kind. If Gary is nice then Gary is kind. If Fiona is kind and Fiona is not blue then Fiona is green. If Fiona is round and Fiona is not big then Fiona is nice.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is round.
("Gary" "is" "round" "+")
Gary is not white.
("Gary" "is" "white" "-")
All green, blue people are big.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If Gary is white then Gary is not big.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "big" "-"))
All white people are not kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "-"))
If Gary is nice then Gary is kind.
((("Gary" "is" "nice" "+")) -> ("Gary" "is" "kind" "+"))
If Fiona is kind and Fiona is not blue then Fiona is green.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "blue" "~")) -> ("Fiona" "is" "green" "+"))
If Fiona is round and Fiona is not big then Fiona is nice.
((("Fiona" "is" "round" "+") ("Fiona" "is" "big" "~")) -> ("Fiona" "is" "nice" "+"))
Fiona is not nice.
True
1
proof
[(triple3)]
("Fiona" "is" "nice" "-")
triple3
Gary is nice.
False
1
inv-proof
[(triple10)]
("Gary" "is" "nice" "+")
triple10
Fiona is not kind.
True
2
proof
[(((triple5) -> rule3))]
("Fiona" "is" "kind" "-")
((triple5) -> (rule3 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is kind.
False
2
inv-proof
[(((triple5) -> rule3))]
("Fiona" "is" "kind" "+")
((triple5) -> (rule3 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
@0: Fiona is big.[(triple1)] Fiona is green.[(triple2)] Fiona is not nice.[(triple3)] Fiona is round.[(triple4)] Fiona is white.[(triple5)] Gary is big.[(triple6 OR ((triple8 triple7) -> rule1))] Gary is blue.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is not nice.[(triple10)] Gary is not white.[(triple12)] Gary is round.[(triple11)] @1: Fiona is not kind.[(((triple5) -> rule3))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
((triple8 triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
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 white.
("Gary" "is" "white" "-")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple11
Fiona is not kind.
("Fiona" "is" "kind" "-")
((triple5) -> (rule3 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1