Charlie is big. Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is round. Charlie is young. Fiona is big. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is young. If something is big and kind then it is nice. If Fiona is nice then Fiona is big.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is big and kind then it is nice.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If Fiona is nice then Fiona is big.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "big" "+"))
Fiona is round.
True
1
proof
[(triple11)]
("Fiona" "is" "round" "+")
triple11
Charlie is not young.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "young" "-")
triple6
Fiona is nice.
True
3
proof
[(((triple7 triple9) -> rule1))]
("Fiona" "is" "nice" "+")
((triple7 triple9) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
3
inv-proof
[(((triple7 triple9) -> rule1))]
("Fiona" "is" "nice" "-")
((triple7 triple9) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Charlie is young.[(triple6)] Fiona is big.[(triple7)] Fiona is blue.[(triple8)] Fiona is kind.[(triple9)] Fiona is quiet.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)] @1: Charlie is nice.[(((triple1 triple3) -> rule1))] Fiona is nice.[(((triple7 triple9) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1 triple3) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple7 triple9) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1