Fiona is big. Fiona is nice. Fiona is quiet. Fiona is white. Fiona is young. Gary is big. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Gary is white. Gary is young. If someone is quiet then they are green.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is quiet then they are green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
Gary is rough.
True
1
proof
[(triple10)]
("Gary" "is" "rough" "+")
triple10
Fiona is not big.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "big" "-")
triple1
Fiona is green.
True
2
proof
[(((triple3) -> rule1))]
("Fiona" "is" "green" "+")
((triple3) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple3) -> rule1))]
("Fiona" "is" "green" "-")
((triple3) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
@0: Fiona is big.[(triple1)] Fiona is nice.[(triple2)] Fiona is quiet.[(triple3)] Fiona is white.[(triple4)] Fiona is young.[(triple5)] Gary is big.[(triple6)] Gary is green.[(triple7 OR ((triple9) -> rule1))] Gary is nice.[(triple8)] Gary is quiet.[(triple9)] Gary is rough.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)] @1: Fiona is green.[(((triple3) -> rule1))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
((triple9) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is white.
("Gary" "is" "white" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
((triple3) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1