Fiona is big. Fiona is blue. Fiona is green. Fiona is not red. Fiona is rough. Fiona is not white. Gary is big. Gary is blue. Gary is green. Gary is red. Gary is rough. Gary is white. All green, big things are kind.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
All green, big things are kind.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Fiona is blue.
True
1
proof
[(triple2)]
("Fiona" "is" "blue" "+")
triple2
Fiona is not big.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "big" "-")
triple1
Fiona is kind.
True
3
proof
[(((triple3 triple1) -> rule1))]
("Fiona" "is" "kind" "+")
((triple3 triple1) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
3
inv-proof
[(((triple3 triple1) -> rule1))]
("Fiona" "is" "kind" "-")
((triple3 triple1) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is green.[(triple3)] Fiona is not red.[(triple4)] Fiona is not white.[(triple6)] Fiona is rough.[(triple5)] Gary is big.[(triple7)] Gary is blue.[(triple8)] Gary is green.[(triple9)] Gary is red.[(triple10)] Gary is rough.[(triple11)] Gary is white.[(triple12)] @1: Fiona is kind.[(((triple3 triple1) -> rule1))] Gary is kind.[(((triple9 triple7) -> rule1))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is not red.
("Fiona" "is" "red" "-")
triple4
Fiona is not white.
("Fiona" "is" "white" "-")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple3 triple1) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple9 triple7) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1